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

/* *************************************************************************
    This example is inpired by Example_2.cpl, but in this case the social
    network is composed of 100 individuals. It was generated by following 
    the Barabasi-Albert model [1] to create scale-free graphs.
 
    [1] A.-L. Barabási, R. Albert, Emergence of scaling in random networks,
        Science 286 (5439) (1999) 509–512.
  ************************************************************************** */

:- sphere.

:- begin_phkb.


subClassOf(loner,ineffective).
subClassOf(someValuesFrom(connected,'Thing'),social).
annotationAssertion('disponte:probability',subClassOf(loner,ineffective),literal('0.7')).

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

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

is_person(bill).

edge(bill,100):0.2.
edge(2,1):0.2.
edge(3,1):0.2.
edge(3,2):0.2.
edge(4,1):0.2.
edge(4,2):0.2.
edge(5,1):0.2.
edge(5,2):0.2.
edge(6,1):0.2.
edge(6,2):0.2.
edge(7,1):0.2.
edge(7,3):0.2.
edge(8,1):0.2.
edge(8,6):0.2.
edge(9,1):0.2.
edge(9,4):0.2.
edge(10,7):0.2.
edge(10,1):0.2.
edge(11,1):0.2.
edge(11,8):0.2.
edge(12,3):0.2.
edge(12,1):0.2.
edge(13,12):0.2.
edge(13,1):0.2.
edge(14,4):0.2.
edge(14,12):0.2.
edge(15,6):0.2.
edge(15,1):0.2.
edge(16,3):0.2.
edge(16,2):0.2.
edge(17,6):0.2.
edge(17,2):0.2.
edge(18,11):0.2.
edge(18,7):0.2.
edge(19,1):0.2.
edge(19,8):0.2.
edge(20,8):0.2.
edge(20,6):0.2.
edge(21,2):0.2.
edge(21,3):0.2.
edge(22,2):0.2.
edge(22,8):0.2.
edge(23,12):0.2.
edge(23,3):0.2.
edge(24,11):0.2.
edge(24,6):0.2.
edge(25,4):0.2.
edge(25,1):0.2.
edge(26,1):0.2.
edge(26,4):0.2.
edge(27,2):0.2.
edge(27,24):0.2.
edge(28,4):0.2.
edge(28,2):0.2.
edge(29,10):0.2.
edge(29,11):0.2.
edge(30,20):0.2.
edge(30,4):0.2.
edge(31,7):0.2.
edge(31,26):0.2.
edge(32,11):0.2.
edge(32,1):0.2.
edge(33,25):0.2.
edge(33,1):0.2.
edge(34,1):0.2.
edge(34,4):0.2.
edge(35,12):0.2.
edge(35,4):0.2.
edge(36,8):0.2.
edge(36,7):0.2.
edge(37,6):0.2.
edge(37,4):0.2.
edge(38,3):0.2.
edge(38,6):0.2.
edge(39,1):0.2.
edge(39,10):0.2.
edge(40,16):0.2.
edge(40,12):0.2.
edge(41,7):0.2.
edge(41,32):0.2.
edge(42,1):0.2.
edge(42,3):0.2.
edge(43,2):0.2.
edge(43,33):0.2.
edge(44,28):0.2.
edge(44,6):0.2.
edge(45,1):0.2.
edge(45,14):0.2.
edge(46,24):0.2.
edge(46,2):0.2.
edge(47,8):0.2.
edge(47,28):0.2.
edge(48,1):0.2.
edge(48,33):0.2.
edge(49,44):0.2.
edge(49,2):0.2.
edge(50,1):0.2.
edge(50,7):0.2.
edge(51,1):0.2.
edge(51,24):0.2.
edge(52,10):0.2.
edge(52,8):0.2.
edge(53,37):0.2.
edge(53,52):0.2.
edge(54,39):0.2.
edge(54,6):0.2.
edge(55,9):0.2.
edge(55,1):0.2.
edge(56,5):0.2.
edge(56,8):0.2.
edge(57,27):0.2.
edge(57,6):0.2.
edge(58,6):0.2.
edge(58,52):0.2.
edge(59,49):0.2.
edge(59,18):0.2.
edge(60,37):0.2.
edge(60,1):0.2.
edge(61,1):0.2.
edge(61,8):0.2.
edge(62,8):0.2.
edge(62,11):0.2.
edge(63,52):0.2.
edge(63,21):0.2.
edge(64,7):0.2.
edge(64,6):0.2.
edge(65,24):0.2.
edge(65,2):0.2.
edge(66,2):0.2.
edge(66,48):0.2.
edge(67,25):0.2.
edge(67,9):0.2.
edge(68,13):0.2.
edge(68,3):0.2.
edge(69,1):0.2.
edge(69,28):0.2.
edge(70,50):0.2.
edge(70,46):0.2.
edge(71,20):0.2.
edge(71,37):0.2.
edge(72,1):0.2.
edge(72,21):0.2.
edge(73,8):0.2.
edge(73,4):0.2.
edge(74,24):0.2.
edge(74,41):0.2.
edge(75,4):0.2.
edge(75,1):0.2.
edge(76,2):0.2.
edge(76,3):0.2.
edge(77,4):0.2.
edge(77,44):0.2.
edge(78,71):0.2.
edge(78,3):0.2.
edge(79,2):0.2.
edge(79,32):0.2.
edge(80,5):0.2.
edge(80,1):0.2.
edge(81,1):0.2.
edge(81,8):0.2.
edge(82,10):0.2.
edge(82,2):0.2.
edge(83,2):0.2.
edge(83,4):0.2.
edge(84,27):0.2.
edge(84,6):0.2.
edge(85,1):0.2.
edge(85,8):0.2.
edge(86,31):0.2.
edge(86,1):0.2.
edge(87,59):0.2.
edge(87,3):0.2.
edge(88,7):0.2.
edge(88,5):0.2.
edge(89,1):0.2.
edge(89,4):0.2.
edge(90,1):0.2.
edge(90,3):0.2.
edge(91,11):0.2.
edge(91,1):0.2.
edge(92,8):0.2.
edge(92,67):0.2.
edge(93,2):0.2.
edge(93,3):0.2.
edge(94,52):0.2.
edge(94,4):0.2.
edge(95,20):0.2.
edge(95,17):0.2.
edge(96,21):0.2.
edge(96,47):0.2.
edge(97,1):0.2.
edge(97,28):0.2.
edge(98,42):0.2.
edge(98,40):0.2.
edge(99,1):0.2.
edge(99,6):0.2.
edge(100,6):0.2.
edge(100,4):0.2.

:- end_phkb.