:- use_module('../prolog/sphere.pl').

:- sphere.

:- begin_phkb.

subClassOf(loner,ineffective).
% subClassOf(someValuesFrom(connected,influencer),social).
subClassOf(someValuesFrom(connected,'http://www.w3.org/2002/07/owl#Thing'),social).
annotationAssertion('disponte:probability',subClassOf(loner,ineffective),literal('0.7')).

loner(X) :- \+ social(X),person(X).
discount(X) :- \+ ineffective(X),person(X).

connected(X,Y):- edge(X,Y).
connected(X,Y):- connected(X,Z),edge(Z,Y).

edge(bill,stephanie):0.2.
influencer(stephanie).

person(bill).
person(stephanie).


:- end_phkb.