30 likes | 172 Views
What, if anything, is a subdivision?. Simon Spero University of North Carolina ses@unc.edu. O rgan music--17th century --I nterpretation (phrasing, dynamics, etc.) Jews--Intellectual life --G ermany --B erlin --Congresses. OWL. ACE. Ontology( SubClassOf( Class(:mammal)
E N D
What, if anything, is a subdivision? Simon Spero University of North Carolina ses@unc.edu
Organ music--17th century--Interpretation (phrasing, dynamics, etc.) Jews--Intellectual life--Germany--Berlin--Congresses.
OWL ACE Ontology( SubClassOf( Class(:mammal) Class(:animal) ) SubClassOf( Class(:weasel) Class(:mammal) ) SubClassOf( ObjectIntersectionOf( Class(owl:Thing) ObjectSomeValuesFrom( InverseObjectProperty(ObjectProperty(:eat)) Class(:weasel) ) ) Class(:egg) ) ) Every mammal is an animal. Every weasel is a mammal. Everything that a weasel eats is an egg.