FASILL based tuning of FSA-SPARQL queries

FSA-SPARQL Query

PREFIX movie: <http://www.movies.org#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX f: <http://www.fuzzy.org#> PREFIX l: <http://www.lattice.org#> SELECT ?Movie ?Rank WHERE { ?Movie f:type (movie:genre movie:Thriller ?c) . ?Movie f:type (movie:quality movie:Good ?r) . BIND(l:WMEAN('#s1',?r,?c) as ?Rank) FILTER (?Rank > 0.8) }

FASILL Program

p(MOVIE,RANK):- rdf(MOVIE,'http://www.fuzzy.org#type',X0), rdf(X0,'http://www.fuzzy.org#onProperty','http://www.movies.org#genre'), rdf(X0,'http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Thriller'), rdf(X0,'http://www.fuzzy.org#truth',C), rdf(MOVIE,'http://www.fuzzy.org#type',X1), rdf(X1,'http://www.fuzzy.org#onProperty','http://www.movies.org#quality'), rdf(X1,'http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Good'), rdf(X1,'http://www.fuzzy.org#truth',R), #s1=A0_1, R=A1_1, C=A2_1, VAR1=RANK, 'http://www.lattice.org#WMEAN'(A0_1,A1_1,A2_1,VAR1), RANK=A6, 0.8^^'http://www.w3.org/2001/XMLSchema#decimal'=B6, { A6>B6 }. rdf('http://www.movies.org','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#Ontology'). rdf('http://www.fuzzy.org#item','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#ObjectProperty'). rdf('http://www.fuzzy.org#item','http://www.w3.org/2000/01/rdf-schema#domain','http://www.movies.org#Fuzzy'). rdf('http://www.fuzzy.org#item','http://www.w3.org/2000/01/rdf-schema#range','http://www.w3.org/2002/07/owl#Thing'). rdf('http://www.fuzzy.org#type','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#ObjectProperty'). rdf('http://www.fuzzy.org#type','http://www.w3.org/2000/01/rdf-schema#range','http://www.movies.org#Fuzzy'). rdf('http://www.fuzzy.org#type','http://www.w3.org/2000/01/rdf-schema#domain','http://www.movies.org#Movie'). rdf('http://www.movies.org#actor','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#ObjectProperty'). rdf('http://www.movies.org#actor','http://www.w3.org/2000/01/rdf-schema#range','http://www.movies.org#Cast_Member'). rdf('http://www.movies.org#actor','http://www.w3.org/2000/01/rdf-schema#domain','http://www.movies.org#Movie'). rdf('http://www.movies.org#directed_by','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#ObjectProperty'). rdf('http://www.movies.org#directed_by','http://www.w3.org/2000/01/rdf-schema#range','http://www.movies.org#Director'). rdf('http://www.movies.org#directed_by','http://www.w3.org/2000/01/rdf-schema#domain','http://www.movies.org#Movie'). rdf('http://www.movies.org#leading_role','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#ObjectProperty'). rdf('http://www.movies.org#leading_role','http://www.w3.org/2000/01/rdf-schema#range','http://www.movies.org#Fuzzy'). rdf('http://www.movies.org#leading_role','http://www.w3.org/2000/01/rdf-schema#domain','http://www.movies.org#Movie'). rdf('http://www.fuzzy.org#truth','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#DatatypeProperty'). rdf('http://www.fuzzy.org#truth','http://www.w3.org/2000/01/rdf-schema#domain','http://www.movies.org#Fuzzy'). rdf('http://www.fuzzy.org#truth','http://www.w3.org/2000/01/rdf-schema#range','http://www.w3.org/2001/XMLSchema#decimal'). rdf('http://www.movies.org#date','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#DatatypeProperty'). rdf('http://www.movies.org#date','http://www.w3.org/2000/01/rdf-schema#domain','http://www.movies.org#Movie'). rdf('http://www.movies.org#date','http://www.w3.org/2000/01/rdf-schema#range','http://www.w3.org/2001/XMLSchema#integer'). rdf('http://www.movies.org#date','http://www.w3.org/2000/01/rdf-schema#subPropertyOf','http://www.w3.org/2002/07/owl#topDataProperty'). rdf('http://www.movies.org#duration','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#DatatypeProperty'). rdf('http://www.movies.org#duration','http://www.w3.org/2000/01/rdf-schema#domain','http://www.movies.org#Movie'). rdf('http://www.movies.org#duration','http://www.w3.org/2000/01/rdf-schema#range','http://www.w3.org/2001/XMLSchema#integer'). rdf('http://www.movies.org#name','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#DatatypeProperty'). rdf('http://www.movies.org#name','http://www.w3.org/2000/01/rdf-schema#domain','http://www.w3.org/2002/07/owl#Thing'). rdf('http://www.movies.org#Actor','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#Class'). rdf('http://www.movies.org#Actor','http://www.w3.org/2000/01/rdf-schema#subClassOf','http://www.movies.org#Cast_Member'). rdf('http://www.movies.org#Actress','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#Class'). rdf('http://www.movies.org#Actress','http://www.w3.org/2000/01/rdf-schema#subClassOf','http://www.movies.org#Cast_Member'). rdf('http://www.movies.org#Average','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#Class'). rdf('http://www.movies.org#Average','http://www.w3.org/2000/01/rdf-schema#subClassOf','http://www.movies.org#Score'). rdf('http://www.movies.org#Cast_Member','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#Class'). rdf('http://www.movies.org#Comedy','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#Class'). rdf('http://www.movies.org#Comedy','http://www.w3.org/2000/01/rdf-schema#subClassOf','http://www.movies.org#Movie'). rdf('http://www.movies.org#Director','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#Class'). rdf('http://www.movies.org#Director','http://www.w3.org/2000/01/rdf-schema#subClassOf','http://www.movies.org#Movie_Team'). rdf('http://www.movies.org#Documentary','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#Class'). rdf('http://www.movies.org#Documentary','http://www.w3.org/2000/01/rdf-schema#subClassOf','http://www.movies.org#Movie'). rdf('http://www.movies.org#Drama','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#Class'). rdf('http://www.movies.org#Drama','http://www.w3.org/2000/01/rdf-schema#subClassOf','http://www.movies.org#Movie'). rdf('http://www.movies.org#Excellent','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#Class'). rdf('http://www.movies.org#Excellent','http://www.w3.org/2000/01/rdf-schema#subClassOf','http://www.movies.org#Score'). rdf('http://www.movies.org#Fuzzy','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#Class'). rdf('http://www.movies.org#Good','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#Class'). rdf('http://www.movies.org#Good','http://www.w3.org/2000/01/rdf-schema#subClassOf','http://www.movies.org#Score'). rdf('http://www.movies.org#Low','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#Class'). rdf('http://www.movies.org#Low','http://www.w3.org/2000/01/rdf-schema#subClassOf','http://www.movies.org#Score'). rdf('http://www.movies.org#Movie','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#Class'). rdf('http://www.movies.org#Movie_Team','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#Class'). rdf('http://www.movies.org#Score','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#Class'). rdf('http://www.movies.org#Thriller','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#Class'). rdf('http://www.movies.org#Thriller','http://www.w3.org/2000/01/rdf-schema#subClassOf','http://www.movies.org#Movie'). rdf('http://www.movies.org#Writer','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#Class'). rdf('http://www.movies.org#Writer','http://www.w3.org/2000/01/rdf-schema#subClassOf','http://www.movies.org#Movie_Team'). rdf('http://www.movies.org#Anthony_Hopkins','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#Anthony_Hopkins','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Actor'). rdf('http://www.movies.org#Anthony_Hopkins','http://www.movies.org#name','^^'('Anthony Hopkins', 'http://www.w3.org/2001/XMLSchema#string')). rdf('http://www.movies.org#Brad_Pitt','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#Brad_Pitt','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Actor'). rdf('http://www.movies.org#Brad_Pitt','http://www.movies.org#name','^^'('Brad Pitt', 'http://www.w3.org/2001/XMLSchema#string')). rdf('http://www.movies.org#Casablanca','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#Casablanca','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Movie'). rdf('http://www.movies.org#Casablanca','http://www.movies.org#duration','^^'(102, 'http://www.w3.org/2001/XMLSchema#integer')). rdf('http://www.movies.org#Casablanca','http://www.movies.org#date','^^'(1942, 'http://www.w3.org/2001/XMLSchema#integer')). rdf('http://www.movies.org#Casablanca','http://www.movies.org#name','^^'('Casablanca', 'http://www.w3.org/2001/XMLSchema#string')). rdf('http://www.movies.org#Casablanca','http://www.movies.org#actor','http://www.movies.org#Humphrey_Bogart'). rdf('http://www.movies.org#Casablanca','http://www.movies.org#actor','http://www.movies.org#Ingrid_Bergman'). rdf('http://www.movies.org#Casablanca','http://www.fuzzy.org#type','http://www.movies.org#casablanca_average'). rdf('http://www.movies.org#Casablanca','http://www.fuzzy.org#type','http://www.movies.org#casablanca_comedy'). rdf('http://www.movies.org#Casablanca','http://www.fuzzy.org#type','http://www.movies.org#casablanca_documentary'). rdf('http://www.movies.org#Casablanca','http://www.fuzzy.org#type','http://www.movies.org#casablanca_drama'). rdf('http://www.movies.org#Casablanca','http://www.fuzzy.org#type','http://www.movies.org#casablanca_excellent'). rdf('http://www.movies.org#Casablanca','http://www.fuzzy.org#type','http://www.movies.org#casablanca_good'). rdf('http://www.movies.org#Casablanca','http://www.movies.org#leading_role','http://www.movies.org#casablanca_leading1'). rdf('http://www.movies.org#Casablanca','http://www.movies.org#leading_role','http://www.movies.org#casablanca_leading2'). rdf('http://www.movies.org#Casablanca','http://www.fuzzy.org#type','http://www.movies.org#casablanca_low'). rdf('http://www.movies.org#Casablanca','http://www.fuzzy.org#type','http://www.movies.org#casablanca_thriller'). rdf('http://www.movies.org#George_Clooney','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#George_Clooney','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Actor'). rdf('http://www.movies.org#George_Clooney','http://www.movies.org#name','^^'('George Clooney', 'http://www.w3.org/2001/XMLSchema#string')). rdf('http://www.movies.org#Hannah_and_her_sisters','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#Hannah_and_her_sisters','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Movie'). rdf('http://www.movies.org#Hannah_and_her_sisters','http://www.movies.org#duration','^^'(106, 'http://www.w3.org/2001/XMLSchema#integer')). rdf('http://www.movies.org#Hannah_and_her_sisters','http://www.movies.org#date','^^'(1986, 'http://www.w3.org/2001/XMLSchema#integer')). rdf('http://www.movies.org#Hannah_and_her_sisters','http://www.movies.org#name','^^'('Hannah and her sisters', 'http://www.w3.org/2001/XMLSchema#string')). rdf('http://www.movies.org#Hannah_and_her_sisters','http://www.movies.org#actor','http://www.movies.org#Mia_Farrow'). rdf('http://www.movies.org#Hannah_and_her_sisters','http://www.movies.org#actor','http://www.movies.org#Michael_Caine'). rdf('http://www.movies.org#Hannah_and_her_sisters','http://www.movies.org#directed_by','http://www.movies.org#Woody_Allen'). rdf('http://www.movies.org#Hannah_and_her_sisters','http://www.fuzzy.org#type','http://www.movies.org#hannah_average'). rdf('http://www.movies.org#Hannah_and_her_sisters','http://www.fuzzy.org#type','http://www.movies.org#hannah_comedy'). rdf('http://www.movies.org#Hannah_and_her_sisters','http://www.fuzzy.org#type','http://www.movies.org#hannah_documentary'). rdf('http://www.movies.org#Hannah_and_her_sisters','http://www.fuzzy.org#type','http://www.movies.org#hannah_drama'). rdf('http://www.movies.org#Hannah_and_her_sisters','http://www.fuzzy.org#type','http://www.movies.org#hannah_excellent'). rdf('http://www.movies.org#Hannah_and_her_sisters','http://www.fuzzy.org#type','http://www.movies.org#hannah_good'). rdf('http://www.movies.org#Hannah_and_her_sisters','http://www.movies.org#leading_role','http://www.movies.org#hannah_leading1'). rdf('http://www.movies.org#Hannah_and_her_sisters','http://www.movies.org#leading_role','http://www.movies.org#hannah_leading2'). rdf('http://www.movies.org#Hannah_and_her_sisters','http://www.fuzzy.org#type','http://www.movies.org#hannah_low'). rdf('http://www.movies.org#Hannah_and_her_sisters','http://www.fuzzy.org#type','http://www.movies.org#hannah_thriller'). rdf('http://www.movies.org#Humphrey_Bogart','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#Humphrey_Bogart','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Actor'). rdf('http://www.movies.org#Humphrey_Bogart','http://www.movies.org#name','^^'('Humphrey Bogart', 'http://www.w3.org/2001/XMLSchema#string')). rdf('http://www.movies.org#Ingrid_Bergman','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#Ingrid_Bergman','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Actress'). rdf('http://www.movies.org#Ingrid_Bergman','http://www.movies.org#name','^^'('Ingrid Bergman', 'http://www.w3.org/2001/XMLSchema#string')). rdf('http://www.movies.org#Jodie_Foster','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#Jodie_Foster','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Actress'). rdf('http://www.movies.org#Jodie_Foster','http://www.movies.org#name','^^'('Jodie Foster', 'http://www.w3.org/2001/XMLSchema#string')). rdf('http://www.movies.org#Manhattan','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#Manhattan','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Movie'). rdf('http://www.movies.org#Manhattan','http://www.movies.org#date','^^'(1979, 'http://www.w3.org/2001/XMLSchema#integer')). rdf('http://www.movies.org#Manhattan','http://www.movies.org#duration','^^'(96, 'http://www.w3.org/2001/XMLSchema#integer')). rdf('http://www.movies.org#Manhattan','http://www.movies.org#name','^^'('Manhattan', 'http://www.w3.org/2001/XMLSchema#string')). rdf('http://www.movies.org#Manhattan','http://www.movies.org#directed_by','http://www.movies.org#Woody_Allen'). rdf('http://www.movies.org#Manhattan','http://www.movies.org#actor','http://www.movies.org#Woody_Allen'). rdf('http://www.movies.org#Manhattan','http://www.fuzzy.org#type','http://www.movies.org#hannah_documentary'). rdf('http://www.movies.org#Manhattan','http://www.fuzzy.org#type','http://www.movies.org#hannah_drama'). rdf('http://www.movies.org#Manhattan','http://www.fuzzy.org#type','http://www.movies.org#manhattan_average'). rdf('http://www.movies.org#Manhattan','http://www.fuzzy.org#type','http://www.movies.org#manhattan_comedy'). rdf('http://www.movies.org#Manhattan','http://www.fuzzy.org#type','http://www.movies.org#manhattan_excellent'). rdf('http://www.movies.org#Manhattan','http://www.fuzzy.org#type','http://www.movies.org#manhattan_good'). rdf('http://www.movies.org#Manhattan','http://www.movies.org#leading_role','http://www.movies.org#manhattan_leading'). rdf('http://www.movies.org#Manhattan','http://www.fuzzy.org#type','http://www.movies.org#manhattan_low'). rdf('http://www.movies.org#Match_Point','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#Match_Point','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Movie'). rdf('http://www.movies.org#Match_Point','http://www.movies.org#duration','^^'(119, 'http://www.w3.org/2001/XMLSchema#integer')). rdf('http://www.movies.org#Match_Point','http://www.movies.org#date','^^'(2005, 'http://www.w3.org/2001/XMLSchema#integer')). rdf('http://www.movies.org#Match_Point','http://www.movies.org#name','^^'('Match Point', 'http://www.w3.org/2001/XMLSchema#string')). rdf('http://www.movies.org#Match_Point','http://www.movies.org#actor','http://www.movies.org#Scarlett_Johansson'). rdf('http://www.movies.org#Match_Point','http://www.movies.org#directed_by','http://www.movies.org#Woody_Allen'). rdf('http://www.movies.org#Match_Point','http://www.fuzzy.org#type','http://www.movies.org#match_average'). rdf('http://www.movies.org#Match_Point','http://www.fuzzy.org#type','http://www.movies.org#match_comedy'). rdf('http://www.movies.org#Match_Point','http://www.fuzzy.org#type','http://www.movies.org#match_documentary'). rdf('http://www.movies.org#Match_Point','http://www.fuzzy.org#type','http://www.movies.org#match_drama'). rdf('http://www.movies.org#Match_Point','http://www.fuzzy.org#type','http://www.movies.org#match_excellent'). rdf('http://www.movies.org#Match_Point','http://www.fuzzy.org#type','http://www.movies.org#match_good'). rdf('http://www.movies.org#Match_Point','http://www.movies.org#leading_role','http://www.movies.org#match_leading'). rdf('http://www.movies.org#Match_Point','http://www.fuzzy.org#type','http://www.movies.org#match_low'). rdf('http://www.movies.org#Match_Point','http://www.fuzzy.org#type','http://www.movies.org#match_thriller'). rdf('http://www.movies.org#Mia_Farrow','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#Mia_Farrow','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Actress'). rdf('http://www.movies.org#Mia_Farrow','http://www.movies.org#name','^^'('Mia Farrow', 'http://www.w3.org/2001/XMLSchema#string')). rdf('http://www.movies.org#Michael_Caine','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#Michael_Caine','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Actor'). rdf('http://www.movies.org#Michael_Caine','http://www.movies.org#name','^^'('Michael Caine', 'http://www.w3.org/2001/XMLSchema#string')). rdf('http://www.movies.org#Michael_Moore','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#Michael_Moore','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Director'). rdf('http://www.movies.org#Michael_Moore','http://www.movies.org#name','^^'('Michael Moore', 'http://www.w3.org/2001/XMLSchema#string')). rdf('http://www.movies.org#Oceans_eleven','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#Oceans_eleven','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Movie'). rdf('http://www.movies.org#Oceans_eleven','http://www.movies.org#duration','^^'(116, 'http://www.w3.org/2001/XMLSchema#integer')). rdf('http://www.movies.org#Oceans_eleven','http://www.movies.org#date','^^'(2001, 'http://www.w3.org/2001/XMLSchema#integer')). rdf('http://www.movies.org#Oceans_eleven','http://www.movies.org#name','^^'('Ocean''s Eleven', 'http://www.w3.org/2001/XMLSchema#string')). rdf('http://www.movies.org#Oceans_eleven','http://www.fuzzy.org#type','http://www.movies.org#ocean_average'). rdf('http://www.movies.org#Oceans_eleven','http://www.fuzzy.org#type','http://www.movies.org#ocean_comedy'). rdf('http://www.movies.org#Oceans_eleven','http://www.fuzzy.org#type','http://www.movies.org#ocean_documentary'). rdf('http://www.movies.org#Oceans_eleven','http://www.fuzzy.org#type','http://www.movies.org#ocean_drama'). rdf('http://www.movies.org#Oceans_eleven','http://www.fuzzy.org#type','http://www.movies.org#ocean_excellent'). rdf('http://www.movies.org#Oceans_eleven','http://www.fuzzy.org#type','http://www.movies.org#ocean_good'). rdf('http://www.movies.org#Oceans_eleven','http://www.movies.org#leading_role','http://www.movies.org#ocean_leading1'). rdf('http://www.movies.org#Oceans_eleven','http://www.movies.org#leading_role','http://www.movies.org#ocean_leading2'). rdf('http://www.movies.org#Oceans_eleven','http://www.fuzzy.org#type','http://www.movies.org#ocean_low'). rdf('http://www.movies.org#Oceans_eleven','http://www.fuzzy.org#type','http://www.movies.org#ocean_thriller'). rdf('http://www.movies.org#Scarlett_Johansson','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#Scarlett_Johansson','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Actress'). rdf('http://www.movies.org#Scarlett_Johansson','http://www.movies.org#name','^^'('Scarlett Johansson', 'http://www.w3.org/2001/XMLSchema#string')). rdf('http://www.movies.org#Sicko','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#Sicko','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Movie'). rdf('http://www.movies.org#Sicko','http://www.movies.org#duration','^^'(123, 'http://www.w3.org/2001/XMLSchema#integer')). rdf('http://www.movies.org#Sicko','http://www.movies.org#date','^^'(2007, 'http://www.w3.org/2001/XMLSchema#integer')). rdf('http://www.movies.org#Sicko','http://www.movies.org#name','^^'('Sicko', 'http://www.w3.org/2001/XMLSchema#string')). rdf('http://www.movies.org#Sicko','http://www.movies.org#directed_by','http://www.movies.org#Michael_Moore'). rdf('http://www.movies.org#Sicko','http://www.fuzzy.org#type','http://www.movies.org#sicko_average'). rdf('http://www.movies.org#Sicko','http://www.fuzzy.org#type','http://www.movies.org#sicko_comedy'). rdf('http://www.movies.org#Sicko','http://www.fuzzy.org#type','http://www.movies.org#sicko_documentary'). rdf('http://www.movies.org#Sicko','http://www.fuzzy.org#type','http://www.movies.org#sicko_drama'). rdf('http://www.movies.org#Sicko','http://www.fuzzy.org#type','http://www.movies.org#sicko_excellent'). rdf('http://www.movies.org#Sicko','http://www.fuzzy.org#type','http://www.movies.org#sicko_good'). rdf('http://www.movies.org#Sicko','http://www.fuzzy.org#type','http://www.movies.org#sicko_low'). rdf('http://www.movies.org#Sicko','http://www.fuzzy.org#type','http://www.movies.org#sicko_thriller'). rdf('http://www.movies.org#The_American','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#The_American','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Movie'). rdf('http://www.movies.org#The_American','http://www.movies.org#duration','^^'(105, 'http://www.w3.org/2001/XMLSchema#integer')). rdf('http://www.movies.org#The_American','http://www.movies.org#date','^^'(2010, 'http://www.w3.org/2001/XMLSchema#integer')). rdf('http://www.movies.org#The_American','http://www.movies.org#name','^^'('The American', 'http://www.w3.org/2001/XMLSchema#string')). rdf('http://www.movies.org#The_American','http://www.movies.org#actor','http://www.movies.org#George_Clooney'). rdf('http://www.movies.org#The_American','http://www.fuzzy.org#type','http://www.movies.org#american_average'). rdf('http://www.movies.org#The_American','http://www.fuzzy.org#type','http://www.movies.org#american_comedy'). rdf('http://www.movies.org#The_American','http://www.fuzzy.org#type','http://www.movies.org#american_documentary'). rdf('http://www.movies.org#The_American','http://www.fuzzy.org#type','http://www.movies.org#american_drama'). rdf('http://www.movies.org#The_American','http://www.fuzzy.org#type','http://www.movies.org#american_excellent'). rdf('http://www.movies.org#The_American','http://www.fuzzy.org#type','http://www.movies.org#american_good'). rdf('http://www.movies.org#The_American','http://www.movies.org#leading_role','http://www.movies.org#american_leading'). rdf('http://www.movies.org#The_American','http://www.fuzzy.org#type','http://www.movies.org#american_low'). rdf('http://www.movies.org#The_American','http://www.fuzzy.org#type','http://www.movies.org#american_thriller'). rdf('http://www.movies.org#The_descendants','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#The_descendants','http://www.movies.org#name','^^'('The Descendants', 'http://www.w3.org/2001/XMLSchema#string')). rdf('http://www.movies.org#The_descendants','http://www.movies.org#actor','http://www.movies.org#George_Clooney'). rdf('http://www.movies.org#The_descendants','http://www.fuzzy.org#type','http://www.movies.org#descendants_average'). rdf('http://www.movies.org#The_descendants','http://www.fuzzy.org#type','http://www.movies.org#descendants_comedy'). rdf('http://www.movies.org#The_descendants','http://www.fuzzy.org#type','http://www.movies.org#descendants_documentary'). rdf('http://www.movies.org#The_descendants','http://www.fuzzy.org#type','http://www.movies.org#descendants_drama'). rdf('http://www.movies.org#The_descendants','http://www.fuzzy.org#type','http://www.movies.org#descendants_excellent'). rdf('http://www.movies.org#The_descendants','http://www.fuzzy.org#type','http://www.movies.org#descendants_good'). rdf('http://www.movies.org#The_descendants','http://www.movies.org#leading_role','http://www.movies.org#descendants_leading'). rdf('http://www.movies.org#The_descendants','http://www.fuzzy.org#type','http://www.movies.org#descendants_low'). rdf('http://www.movies.org#The_descendants','http://www.fuzzy.org#type','http://www.movies.org#descendants_thriller'). rdf('http://www.movies.org#The_silence_of_the_lambs','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#The_silence_of_the_lambs','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Movie'). rdf('http://www.movies.org#The_silence_of_the_lambs','http://www.movies.org#duration','^^'(118, 'http://www.w3.org/2001/XMLSchema#integer')). rdf('http://www.movies.org#The_silence_of_the_lambs','http://www.movies.org#date','^^'(1991, 'http://www.w3.org/2001/XMLSchema#integer')). rdf('http://www.movies.org#The_silence_of_the_lambs','http://www.movies.org#name','^^'('The Silence of the Lambs', 'http://www.w3.org/2001/XMLSchema#string')). rdf('http://www.movies.org#The_silence_of_the_lambs','http://www.movies.org#actor','http://www.movies.org#Anthony_Hopkins'). rdf('http://www.movies.org#The_silence_of_the_lambs','http://www.movies.org#actor','http://www.movies.org#Jodie_Foster'). rdf('http://www.movies.org#The_silence_of_the_lambs','http://www.fuzzy.org#type','http://www.movies.org#silence_average'). rdf('http://www.movies.org#The_silence_of_the_lambs','http://www.fuzzy.org#type','http://www.movies.org#silence_comedy'). rdf('http://www.movies.org#The_silence_of_the_lambs','http://www.fuzzy.org#type','http://www.movies.org#silence_documentary'). rdf('http://www.movies.org#The_silence_of_the_lambs','http://www.fuzzy.org#type','http://www.movies.org#silence_drama'). rdf('http://www.movies.org#The_silence_of_the_lambs','http://www.fuzzy.org#type','http://www.movies.org#silence_excellent'). rdf('http://www.movies.org#The_silence_of_the_lambs','http://www.fuzzy.org#type','http://www.movies.org#silence_good'). rdf('http://www.movies.org#The_silence_of_the_lambs','http://www.movies.org#leading_role','http://www.movies.org#silence_leading1'). rdf('http://www.movies.org#The_silence_of_the_lambs','http://www.movies.org#leading_role','http://www.movies.org#silence_leading2'). rdf('http://www.movies.org#The_silence_of_the_lambs','http://www.fuzzy.org#type','http://www.movies.org#silence_low'). rdf('http://www.movies.org#The_silence_of_the_lambs','http://www.fuzzy.org#type','http://www.movies.org#silence_thriller'). rdf('http://www.movies.org#Woody_Allen','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#Woody_Allen','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Actor'). rdf('http://www.movies.org#Woody_Allen','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Director'). rdf('http://www.movies.org#Woody_Allen','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Writer'). rdf('http://www.movies.org#Woody_Allen','http://www.movies.org#name','^^'('Woody Allen', 'http://www.w3.org/2001/XMLSchema#string')). rdf('http://www.movies.org#american_average','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#american_average','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#american_average','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Average'). rdf('http://www.movies.org#american_average','http://www.fuzzy.org#truth','^^'(0.2, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#american_comedy','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#american_comedy','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#american_comedy','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Comedy'). rdf('http://www.movies.org#american_comedy','http://www.fuzzy.org#truth','^^'(0.1, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#american_documentary','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#american_documentary','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#american_documentary','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Documentary'). rdf('http://www.movies.org#american_documentary','http://www.fuzzy.org#truth','^^'(0, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#american_drama','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#american_drama','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#american_drama','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Drama'). rdf('http://www.movies.org#american_drama','http://www.fuzzy.org#truth','^^'(0.3, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#american_excellent','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#american_excellent','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#american_excellent','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Excellent'). rdf('http://www.movies.org#american_excellent','http://www.fuzzy.org#truth','^^'(0.4, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#american_good','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#american_good','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#american_good','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Good'). rdf('http://www.movies.org#american_good','http://www.fuzzy.org#truth','^^'(0.6, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#american_leading','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#american_leading','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Fuzzy'). rdf('http://www.movies.org#american_leading','http://www.fuzzy.org#truth','^^'(1, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#american_leading','http://www.fuzzy.org#item','http://www.movies.org#George_Clooney'). rdf('http://www.movies.org#american_low','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#american_low','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#american_low','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Low'). rdf('http://www.movies.org#american_low','http://www.fuzzy.org#truth','^^'(0.1, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#american_thriller','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#american_thriller','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#american_thriller','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Thriller'). rdf('http://www.movies.org#american_thriller','http://www.fuzzy.org#truth','^^'(0.9, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#casablanca_average','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#casablanca_average','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#casablanca_average','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Average'). rdf('http://www.movies.org#casablanca_average','http://www.fuzzy.org#truth','^^'(0.2, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#casablanca_comedy','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#casablanca_comedy','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#casablanca_comedy','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Comedy'). rdf('http://www.movies.org#casablanca_comedy','http://www.fuzzy.org#truth','^^'(0, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#casablanca_documentary','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#casablanca_documentary','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#casablanca_documentary','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Documentary'). rdf('http://www.movies.org#casablanca_documentary','http://www.fuzzy.org#truth','^^'(0, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#casablanca_drama','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#casablanca_drama','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#casablanca_drama','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Drama'). rdf('http://www.movies.org#casablanca_drama','http://www.fuzzy.org#truth','^^'(0.9, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#casablanca_excellent','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#casablanca_excellent','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#casablanca_excellent','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Excellent'). rdf('http://www.movies.org#casablanca_excellent','http://www.fuzzy.org#truth','^^'(0.9, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#casablanca_good','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#casablanca_good','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#casablanca_good','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Good'). rdf('http://www.movies.org#casablanca_good','http://www.fuzzy.org#truth','^^'(0.1, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#casablanca_leading1','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#casablanca_leading1','http://www.fuzzy.org#truth','^^'(0.5, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#casablanca_leading1','http://www.fuzzy.org#item','http://www.movies.org#Humphrey_Bogart'). rdf('http://www.movies.org#casablanca_leading2','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#casablanca_leading2','http://www.fuzzy.org#truth','^^'(0.5, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#casablanca_leading2','http://www.fuzzy.org#item','http://www.movies.org#Ingrid_Bergman'). rdf('http://www.movies.org#casablanca_low','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#casablanca_low','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#casablanca_low','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Low'). rdf('http://www.movies.org#casablanca_low','http://www.fuzzy.org#truth','^^'(0, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#casablanca_thriller','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#casablanca_thriller','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#casablanca_thriller','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Thriller'). rdf('http://www.movies.org#casablanca_thriller','http://www.fuzzy.org#truth','^^'(0.1, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#descendants_average','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#descendants_average','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#descendants_average','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Average'). rdf('http://www.movies.org#descendants_average','http://www.movies.org#name','^^'(0.3, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#descendants_comedy','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#descendants_comedy','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#descendants_comedy','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Comedy'). rdf('http://www.movies.org#descendants_comedy','http://www.fuzzy.org#truth','^^'(0.4, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#descendants_documentary','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#descendants_documentary','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#descendants_documentary','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Documentary'). rdf('http://www.movies.org#descendants_documentary','http://www.fuzzy.org#truth','^^'(0, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#descendants_drama','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#descendants_drama','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Drama'). rdf('http://www.movies.org#descendants_drama','http://www.fuzzy.org#truth','^^'(0.9, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#descendants_excellent','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#descendants_excellent','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#descendants_excellent','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Excellent'). rdf('http://www.movies.org#descendants_excellent','http://www.fuzzy.org#truth','^^'(0.9, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#descendants_good','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#descendants_good','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#descendants_good','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Good'). rdf('http://www.movies.org#descendants_good','http://www.fuzzy.org#truth','^^'(0.5, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#descendants_leading','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#descendants_leading','http://www.fuzzy.org#truth','^^'(1, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#descendants_leading','http://www.fuzzy.org#item','http://www.movies.org#George_Clooney'). rdf('http://www.movies.org#descendants_low','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#descendants_low','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#descendants_low','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Low'). rdf('http://www.movies.org#descendants_low','http://www.fuzzy.org#truth','^^'(0.1, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#descendants_thriller','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#descendants_thriller','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#descendants_thriller','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Thriller'). rdf('http://www.movies.org#descendants_thriller','http://www.fuzzy.org#truth','^^'(0.4, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#hannah_average','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#hannah_average','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#hannah_average','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Average'). rdf('http://www.movies.org#hannah_average','http://www.fuzzy.org#truth','^^'(0.1, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#hannah_comedy','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#hannah_comedy','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#hannah_comedy','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Comedy'). rdf('http://www.movies.org#hannah_comedy','http://www.fuzzy.org#truth','^^'(0.4, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#hannah_documentary','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#hannah_documentary','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#hannah_documentary','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Documentary'). rdf('http://www.movies.org#hannah_documentary','http://www.fuzzy.org#truth','^^'(0, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#hannah_drama','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#hannah_drama','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#hannah_drama','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Drama'). rdf('http://www.movies.org#hannah_drama','http://www.fuzzy.org#truth','^^'(0.4, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#hannah_excellent','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#hannah_excellent','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#hannah_excellent','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Excellent'). rdf('http://www.movies.org#hannah_excellent','http://www.fuzzy.org#truth','^^'(0.3, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#hannah_good','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#hannah_good','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#hannah_good','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Good'). rdf('http://www.movies.org#hannah_good','http://www.fuzzy.org#truth','^^'(0.5, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#hannah_leading1','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#hannah_leading1','http://www.fuzzy.org#truth','^^'(0.6, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#hannah_leading1','http://www.fuzzy.org#item','http://www.movies.org#Michael_Caine'). rdf('http://www.movies.org#hannah_leading2','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#hannah_leading2','http://www.fuzzy.org#truth','^^'(0.4, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#hannah_leading2','http://www.fuzzy.org#item','http://www.movies.org#Mia_Farrow'). rdf('http://www.movies.org#hannah_low','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#hannah_low','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#hannah_low','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Low'). rdf('http://www.movies.org#hannah_low','http://www.fuzzy.org#truth','^^'(0.1, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#hannah_thriller','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#hannah_thriller','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#hannah_thriller','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Thriller'). rdf('http://www.movies.org#hannah_thriller','http://www.fuzzy.org#truth','^^'(0, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#manhattan_average','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#manhattan_average','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#manhattan_average','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Average'). rdf('http://www.movies.org#manhattan_average','http://www.fuzzy.org#truth','^^'(0.1, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#manhattan_comedy','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#manhattan_comedy','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#manhattan_comedy','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Comedy'). rdf('http://www.movies.org#manhattan_comedy','http://www.fuzzy.org#truth','^^'(0.4, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#manhattan_documentary','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#manhattan_documentary','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#manhattan_documentary','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Documentary'). rdf('http://www.movies.org#manhattan_documentary','http://www.fuzzy.org#truth','^^'(0, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#manhattan_drama','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#manhattan_drama','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#manhattan_drama','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Drama'). rdf('http://www.movies.org#manhattan_drama','http://www.fuzzy.org#truth','^^'(0.4, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#manhattan_excellent','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#manhattan_excellent','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#manhattan_excellent','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Excellent'). rdf('http://www.movies.org#manhattan_excellent','http://www.fuzzy.org#truth','^^'(0.3, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#manhattan_good','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#manhattan_good','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#manhattan_good','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Good'). rdf('http://www.movies.org#manhattan_good','http://www.fuzzy.org#truth','^^'(0.7, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#manhattan_leading','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#manhattan_leading','http://www.fuzzy.org#truth','^^'(0.5, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#manhattan_leading','http://www.fuzzy.org#item','http://www.movies.org#Woody_Allen'). rdf('http://www.movies.org#manhattan_low','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#manhattan_low','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#manhattan_low','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Low'). rdf('http://www.movies.org#manhattan_low','http://www.fuzzy.org#truth','^^'(0, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#manhattan_thriller','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#manhattan_thriller','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#manhattan_thriller','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Thriller'). rdf('http://www.movies.org#manhattan_thriller','http://www.fuzzy.org#truth','^^'(0, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#match_average','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#match_average','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#match_average','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Average'). rdf('http://www.movies.org#match_average','http://www.fuzzy.org#truth','^^'(0.2, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#match_comedy','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#match_comedy','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#match_comedy','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Comedy'). rdf('http://www.movies.org#match_comedy','http://www.fuzzy.org#truth','^^'(0, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#match_documentary','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#match_documentary','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#match_documentary','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Documentary'). rdf('http://www.movies.org#match_documentary','http://www.fuzzy.org#truth','^^'(0, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#match_drama','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#match_drama','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#match_drama','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Drama'). rdf('http://www.movies.org#match_drama','http://www.fuzzy.org#truth','^^'(0.4, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#match_excellent','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#match_excellent','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#match_excellent','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Excellent'). rdf('http://www.movies.org#match_excellent','http://www.fuzzy.org#truth','^^'(0.7, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#match_good','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#match_good','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#match_good','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Good'). rdf('http://www.movies.org#match_good','http://www.fuzzy.org#truth','^^'(0.4, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#match_leading','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#match_leading','http://www.fuzzy.org#truth','^^'(0.5, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#match_leading','http://www.fuzzy.org#item','http://www.movies.org#Scarlett_Johansson'). rdf('http://www.movies.org#match_low','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#match_low','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#match_low','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Low'). rdf('http://www.movies.org#match_low','http://www.fuzzy.org#truth','^^'(0.1, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#match_thriller','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#match_thriller','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#match_thriller','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Thriller'). rdf('http://www.movies.org#match_thriller','http://www.fuzzy.org#truth','^^'(0.8, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#ocean_average','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#ocean_average','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#ocean_average','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Average'). rdf('http://www.movies.org#ocean_average','http://www.fuzzy.org#truth','^^'(0.4, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#ocean_comedy','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#ocean_comedy','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#ocean_comedy','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Comedy'). rdf('http://www.movies.org#ocean_comedy','http://www.fuzzy.org#truth','^^'(0.9, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#ocean_documentary','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#ocean_documentary','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#ocean_documentary','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Documentary'). rdf('http://www.movies.org#ocean_documentary','http://www.fuzzy.org#truth','^^'(0, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#ocean_drama','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#ocean_drama','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#ocean_drama','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Drama'). rdf('http://www.movies.org#ocean_drama','http://www.fuzzy.org#truth','^^'(0, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#ocean_excellent','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#ocean_excellent','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#ocean_excellent','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Excellent'). rdf('http://www.movies.org#ocean_excellent','http://www.fuzzy.org#truth','^^'(0.4, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#ocean_good','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#ocean_good','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#ocean_good','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Good'). rdf('http://www.movies.org#ocean_good','http://www.fuzzy.org#truth','^^'(0.4, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#ocean_leading1','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#ocean_leading1','http://www.fuzzy.org#truth','^^'(0.5, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#ocean_leading1','http://www.fuzzy.org#item','http://www.movies.org#George_Clooney'). rdf('http://www.movies.org#ocean_leading2','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#ocean_leading2','http://www.fuzzy.org#truth','^^'(0.5, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#ocean_leading2','http://www.fuzzy.org#item','http://www.movies.org#Brad_Pitt'). rdf('http://www.movies.org#ocean_low','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#ocean_low','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#ocean_low','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Low'). rdf('http://www.movies.org#ocean_low','http://www.fuzzy.org#truth','^^'(0.2, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#ocean_thriller','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#ocean_thriller','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#ocean_thriller','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Thriller'). rdf('http://www.movies.org#ocean_thriller','http://www.fuzzy.org#truth','^^'(0.7, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#sicko_average','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#sicko_average','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#sicko_average','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Average'). rdf('http://www.movies.org#sicko_average','http://www.fuzzy.org#truth','^^'(0.1, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#sicko_comedy','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#sicko_comedy','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#sicko_comedy','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Comedy'). rdf('http://www.movies.org#sicko_comedy','http://www.fuzzy.org#truth','^^'(0.2, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#sicko_documentary','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#sicko_documentary','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#sicko_documentary','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Documentary'). rdf('http://www.movies.org#sicko_documentary','http://www.fuzzy.org#truth','^^'(1, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#sicko_drama','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#sicko_drama','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#sicko_drama','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Drama'). rdf('http://www.movies.org#sicko_drama','http://www.fuzzy.org#truth','^^'(0, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#sicko_excellent','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#sicko_excellent','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#sicko_excellent','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Excellent'). rdf('http://www.movies.org#sicko_excellent','http://www.fuzzy.org#truth','^^'(0.3, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#sicko_good','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#sicko_good','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#sicko_good','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Good'). rdf('http://www.movies.org#sicko_good','http://www.fuzzy.org#truth','^^'(0.7, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#sicko_low','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#sicko_low','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#sicko_low','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Low'). rdf('http://www.movies.org#sicko_low','http://www.fuzzy.org#truth','^^'(0, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#sicko_thriller','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#sicko_thriller','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#sicko_thriller','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Thriller'). rdf('http://www.movies.org#sicko_thriller','http://www.fuzzy.org#truth','^^'(0, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#silence_average','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#silence_average','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#silence_average','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Average'). rdf('http://www.movies.org#silence_average','http://www.fuzzy.org#truth','^^'(0, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#silence_comedy','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#silence_comedy','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#silence_comedy','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Comedy'). rdf('http://www.movies.org#silence_comedy','http://www.fuzzy.org#truth','^^'(0, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#silence_documentary','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#silence_documentary','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#silence_documentary','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Documentary'). rdf('http://www.movies.org#silence_documentary','http://www.fuzzy.org#truth','^^'(0, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#silence_drama','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#silence_drama','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#silence_drama','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Drama'). rdf('http://www.movies.org#silence_drama','http://www.fuzzy.org#truth','^^'(0, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#silence_excellent','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#silence_excellent','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#silence_excellent','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Excellent'). rdf('http://www.movies.org#silence_excellent','http://www.fuzzy.org#truth','^^'(0.5, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#silence_good','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#silence_good','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#silence_good','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Good'). rdf('http://www.movies.org#silence_good','http://www.fuzzy.org#truth','^^'(0.5, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#silence_leading1','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#silence_leading1','http://www.fuzzy.org#truth','^^'(0.4, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#silence_leading1','http://www.fuzzy.org#item','http://www.movies.org#Anthony_Hopkins'). rdf('http://www.movies.org#silence_leading2','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#silence_leading2','http://www.fuzzy.org#truth','^^'(0.6, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#silence_leading2','http://www.fuzzy.org#item','http://www.movies.org#Jodie_Foster'). rdf('http://www.movies.org#silence_low','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#silence_low','http://www.fuzzy.org#onProperty','http://www.movies.org#quality'). rdf('http://www.movies.org#silence_low','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Low'). rdf('http://www.movies.org#silence_low','http://www.fuzzy.org#truth','^^'(0.1, 'http://www.w3.org/2001/XMLSchema#decimal')). rdf('http://www.movies.org#silence_thriller','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.w3.org/2002/07/owl#NamedIndividual'). rdf('http://www.movies.org#silence_thriller','http://www.fuzzy.org#onProperty','http://www.movies.org#genre'). rdf('http://www.movies.org#silence_thriller','http://www.w3.org/1999/02/22-rdf-syntax-ns#type','http://www.movies.org#Thriller'). rdf('http://www.movies.org#silence_thriller','http://www.fuzzy.org#truth','^^'(1, 'http://www.w3.org/2001/XMLSchema#decimal')). :- set_fasill_flag(failure_steps, false). '{}'(X > Y) <- @gt(X, Y). 'http://www.lattice.org#AND_LUK'(X,Y,Z):- truth_degree(&luk(X,Y), Z). 'http://www.lattice.org#AND_GOD'(X,Y,Z):-truth_degree(&god(X,Y), Z). 'http://www.lattice.org#AND_PROD'(X,Y,Z):-truth_degree(&prod(X,Y), Z). 'http://www.lattice.org#OR_LUK'(X,Y,Z):-truth_degree(|luk(X,Y), Z). 'http://www.lattice.org#OR_GOD'(X,Y,Z):-truth_degree(|god(X,Y), Z). 'http://www.lattice.org#OR_PROD'(X,Y,Z):-truth_degree(|prod(X,Y), Z). 'http://www.lattice.org#MEAN'(X,Y,Z) :- truth_degree(@mean(X,Y), Z). 'http://www.lattice.org#WMEAN'(W,X,Y,Z) :- truth_degree(@wmean(W,X,Y), Z). 'http://www.lattice.org#WSUM'(U,X,V,Y,Z):-truth_degree(@wsum(U,X,V,Y), Z). 'http://www.lattice.org#WMAX'(U,X,V,Y,Z):-truth_degree(@wmax(U,X,V,Y), Z). 'http://www.lattice.org#WMIN'(U,X,V,Y,Z):-truth_degree(@wmin(U,X,V,Y), Z). 'http://www.lattice.org#VERY'(X,Z):-truth_degree(@very(X), Z). 'http://www.lattice.org#MORE_OR_LESS'(X,Z):-truth_degree(@more_or_less(X), Z). 'http://www.lattice.org#CLOSE_TO'(X,L,A,Z):-truth_degree(@close_to(X,L,A), Z). 'http://www.lattice.org#AT_LEAST'(X,L,A,Z):-truth_degree(@at_least(X,L,A), Z). 'http://www.lattice.org#AT_MOST'(X,L,A,Z):-truth_degree(@at_most(X,L,A), Z).

Test cases

0.85^^_ -> p('http://www.movies.org#The_American', TD) & TD.

Symbolic substitution

More about FSA-SPARQL and FASILL

FSA-SPARQL
FSA-SPARQL

FSA-SPARQL is a fuzzy extension of the semantic web query language SPARQL, which provides mechanisms to express fuzzy queries against RDF data. FSA-SPARQL can involve different fuzzy connectives, linguistic modifiers, fuzzy equalities/inequalities, as well as fuzzy aggregation operations.

FASILL
FASILL

FASILL is a Prolog-like first order fuzzy logic language. To increase language expressiveness, FASILL also manages similarity relations and truth degrees contained on a complete lattice, equipped with a collection of connectives to combine/propagate truth values through the rules.