The Simpsons - An example Ontology for tutorial purposes#
The Simpsons is a popular comic televisions series. A comprehensive overview (in german) is Simpsonspedia
.
This page shows, how we implement the simpsons ontology in KnowWE.
Also, please check out our visualization docs, which are based on the ontology defined here: Doc SparqlVisualization, Doc ConceptVisualization
 |
General Domain Model#
We first define some classes framing the example domain.
Classes#
si.SimpsonsConcept
si:SimpsonsConcepta
rdfs.Class
rdfs:Class.
si.LivingBeing
si:LivingBeingrdfs.subClassOf
rdfs:subClassOfsi.SimpsonsConcept
si:SimpsonsConcept;
rdfs.label
rdfs:label,
"Living being"@en.
si.Human
si:Humanrdfs.subClassOf
rdfs:subClassOfsi.LivingBeing
si:LivingBeing ;
rdfs.label
rdfs:label,
"Human"@en .
si.Animal
si:Animalrdfs.subClassOf
rdfs:subClassOfsi.LivingBeing
si:LivingBeing ;
rdfs.label
rdfs:label,
"Animal"@en .
si.GenderType
si:GenderTyperdfs.subClassOf
rdfs:subClassOfsi.SimpsonsConcept
si:SimpsonsConcept ;
rdfs.label
rdfs:label,
"Gender"@en .
si.male
si:malerdf.type
rdf:typesi.GenderType
si:GenderType ;
rdfs.label
rdfs:label,
"male"@en .
si.female
si:femalerdf.type
rdf:typesi.GenderType
si:GenderType ;
rdfs.label
rdfs:label,
"female"@en .
si.Building
si:Buildingrdfs.subClassOf
rdfs:subClassOfsi.SimpsonsConcept
si:SimpsonsConcept ;
rdfs.label
rdfs:label,
"Building"@en .
si.Location
si:Locationrdfs.subClassOf
rdfs:subClassOfsi.SimpsonsConcept
si:SimpsonsConcept ;
rdfs.label
rdfs:label,
"Location"@en .
si.Powerplant
si:Powerplantrdfs.subClassOf
rdfs:subClassOfsi.Building
si:Building ;
rdfs.label
rdfs:label,
"Power plant"@en .
simpsonsDemo - SimpsonsSome (alternative ways) to express negations.
Properties#
rdfs:range si:Human; rdfs:domain si:Human.
si.livesIn
si:livesInrdf.type
rdf:typerdf.Property
rdf:Property .
si.relatedWith
si:relatedWithowl.inverseOf
owl:inverseOfsi.relatedWith
si:relatedWith;
rdf.type
rdf:typeowl.ReflexiveProperty
owl:ReflexiveProperty.
si.parent
si:parentrdf.type
rdf:typeowl.AsymmetricProperty
owl:AsymmetricProperty ;
rdfs.subPropertyOf
rdfs:subPropertyOfsi.relatedWith
si:relatedWith .
si.spouse
si:spouserdf.type
rdf:typerdf.Property
rdf:Property .
si.husband
si:husbandrdfs.subPropertyOf
rdfs:subPropertyOfsi.spouse
si:spouse .
si.wife
si:wiferdfs.subPropertyOf
rdfs:subPropertyOfsi.spouse
si:spouse ;
owl.inverseOf
owl:inverseOfsi.husband
husband.
si.spouse
si:spouseowl.propertyDisjointWith
owl:propertyDisjointWithsi.parent
si:parent .
si.child
si:childrdf.type
rdf:typerdf.Property
rdf:Property ;
rdfs.subPropertyOf
rdfs:subPropertyOfsi.relatedWith
si:relatedWith ;
owl.inverseOf
owl:inverseOfsi.parent
si:parent .
si.mother
si:motherrdf.type
rdf:typerdf.Property
rdf:Property ;
rdfs.subPropertyOf
rdfs:subPropertyOfsi.parent
si:parent .
si.father
si:fatherrdf.type
rdf:typerdf.Property
rdf:Property ;
rdfs.subPropertyOf
rdfs:subPropertyOfsi.parent
si:parent .
si.grandparent
si:grandparentrdf.type
rdf:typerdf.Property
rdf:Property ;
owl.propertyChainAxiom
owl:propertyChainAxiomsi.parent
si:parentsi.parent
si:parent .
si.grandfather
si:grandfatherrdf.type
rdf:typerdf.Property
rdf:Property ;
rdfs.subPropertyOf
rdfs:subPropertyOfsi.grandparent
si:grandparent;
owl.propertyChainAxiom
owl:propertyChainAxiomsi.parent
si:parentsi.father
si:father .
si.sibling
si:siblingrdf.type
rdf:typeowl.SymmetricProperty
owl:SymmetricProperty ;
rdf.type
rdf:typeowl.TransitiveProperty
owl:TransitiveProperty ;
owl.inverseOf
owl:inverseOfsi.sibling
si:sibling;
rdfs.subPropertyOf
rdfs:subPropertyOfsi.relatedWith
si:relatedWith .
si.gender
si:genderrdf.type
rdf:typerdf.Property
rdf:Property ;
rdfs.domain
rdfs:domainsi.LivingBeing
si:LivingBeing;
rdfs.range
rdfs:rangesi.GenderType
si:GenderType.
si.age
si:agerdf.type
rdf:typerdf.Property
rdf:Property .
si.worksAt
si:worksAtrdf.type
rdf:typerdf.Property
rdf:Property .
si.owns
si:ownsrdf.type
rdf:typerdf.Property
rdf:Property ;
rdfs.range
rdfs:rangesi.Ownership
si:Ownership;
owl.minCardinality
owl:minCardinality .
si.Ownership
si:Ownershiprdfs.subClassOf
rdfs:subClassOfsi.SimpsonsConcept
si:SimpsonsConcept.
si.amount
si:amountrdf.type
rdf:typerdf.Property
rdf:Property .
si.ownType
si:ownTyperdf.type
rdf:typerdf.Property
rdf:Property .
simpsonsDemo - Simpsons
NegativeObjectPropertyAssertion#
Bart never wants to be a female.
Illustrative Instances#
We now insert some characters and things of the Simpsons world.
si.springfield
si:springfieldrdf.type
rdf:typesi.Location
si:Location ;
rdfs.label
rdfs:label .
si.homer
si:homerrdfs.label
rdfs:label ;
rdf.type
rdf:typesi.Human
si:Human ;
si.age
si:age ;
si.gender
si:gendersi.male
si:male ;
si.father
si:fathersi.abraham
si:abraham ;
si.worksAt
si:worksAtsi.burns_powerplant
si:burns_powerplant;
si.livesIn
si:livesInsi.springfield
si:springfield .
si.marge
si:margerdfs.label
rdfs:label ;
rdf.type
rdf:typesi.Human
si:Human ;
si.age
si:age ;
si.husband
si:husbandsi.homer
si:homer ;
si.gender
si:gendersi.female
si:female ;
si.livesIn
si:livesInsi.springfield
si:springfield .
si.bart
si:bartrdfs.label
rdfs:label ;
rdf.type
rdf:typesi.Human
si:Human ;
si.age
si:age ;
si.gender
si:gendersi.male
si:male ;
si.sibling
si:siblingsi.lisa
si:lisa,
si.maggie
si:maggie ;
si.mother
si:mothersi.marge
si:marge ;
si.father
si:fathersi.homer
si:homer ;
si.livesIn
si:livesInsi.springfield
si:springfield .
si.lisa
si:lisardfs.label
rdfs:label ;
rdf.type
rdf:typesi.Human
si:Human ;
si.age
si:age ;
si.gender
si:gendersi.female
si:female ;
si.mother
si:mothersi.marge
si:marge ;
si.father
si:fathersi.homer
si:homer ;
si.livesIn
si:livesInsi.springfield
si:springfield .
si.maggie
si:maggierdfs.label
rdfs:label ;
rdf.type
rdf:typesi.Human
si:Human ;
si.age
si:age ;
si.sibling
si:siblingsi.lisa
si:lisa ;
si.gender
si:gendersi.female
si:female ;
si.mother
si:mothersi.marge
si:marge ;
si.father
si:fathersi.homer
si:homer ;
si.livesIn
si:livesInsi.springfield
si:springfield .
si.abraham
si:abrahamrdfs.label
rdfs:label ;
rdf.type
rdf:typesi.Human
si:Human ;
si.mother
si:mothersi.yuma
si:yuma ;
si.livesIn
si:livesInsi.retirement_home
si:retirement_home;
si.gender
si:gendersi.male
si:male .
si.retirement_home
si:retirement_homerdf.type
rdf:typesi.Location
si:Location;
rdfs.label
rdfs:label.
si.yuma
si:yumardfs.label
rdfs:label ;
rdf.type
rdf:typesi.Human
si:Human ;
si.gender
si:gendersi.female
si:female .
si.burns_dog
si:burns_dogrdf.type
rdf:typesi.Animal
si:Animal ;
rdfs.label
rdfs:label .
si.burns_powerplant
si:burns_powerplantrdf.type
rdf:typesi.Powerplant
si:Powerplant ;
rdfs.label
rdfs:label .
simpsonsDemo - SimpsonsWe can also introduce blank nodes to represent the belongings of Mr. Burns.
si.burns
si:burnsrdf.type
rdf:typesi.Human
si:Human ;
rdfs.label
rdfs:label ;
si.livesIn
si:livesInsi.springfield
si:springfield;
si.gender
si:gendersi.male
si:male ;
si.owns
si:ownssi.amount
si:amount ;
si.ownType
si:ownTypesi.burns_dog
si:burns_dog,
si.burns_powerplant
si:burns_powerplant.
simpsonsDemo - Simpsons
Sample Queries#
Ok, we can test/query the ontology by inserting some SPARQL statements.
Simple start#
Show me all instances of Human and also show their labels.
Barts Grand-Pa#
Use property paths in SPARQL.
Now using a defined PropertyChain
Optional belongings#
We also can add optional patterns into the query. Show all humans and their (optional) belongings.
UNION: All names of humans and animals#
Expected Compentency Questions: Intersecting Properties#
The family father: A father that is also a husband
Hierarchical Table#
SELECT (SAMPLE(?sub) as ?sub) (SAMPLE(?par) as ?par) (SAMPLE(?name) as ?name) ?concept
WHERE {
{
# bind as root node
BIND ( as ?sub) .
}
UNION
{
# collect all parent child relations (will be conntected automagically to )
?sub ?par ;
}
# display name and concept as table columns
?sub ?name .
BIND (?sub as ?concept) .
} GROUP BY ?concept
si.abraham
si:abrahamsi.abraham
si:abrahamsi.abraham
si:abrahamsi.parent
si:parentrdfs.label
rdfs:labelsimpsonsDemo - Simpsons
Administrative Definitions of the Simpsons Ontology#
This wiki article belongs to the simpsons package.
We define the ontology using all articles of the simpsons package.
Let's use the namespace si for the resources.
