Warning:
This wiki has been archived and is now read-only.
MancesterQuickReference
From OWL
This is a made-up ontology that provides a quick reference guide to the Manchester Syntax. Not all of the ontology makes logical sense so that all aspects of the syntax can be shown in a small example.
All keyword constructs except Ontology: (e.g., Import:, Class:, Domain:, SubClassOf:) are optional and can be repeated. Most keyword constructs take a comma-separated list of sub-constructs, which is sometimes indicated by ",...". Annotations are allowed for elements in these lists of sub-constructs except where annotations are explicitly noted (e.g., in DisjointUnionOf:, in DisjointClasses:).
Namespace = <http://ex.com/owl/families#> Namespace g = <http://ex.com/owl2/families#> Namespace dc = <http://purl.org/dc/elements/1.1/> Namespace owl = <http://www.w3.org/2002/07/owl#> Namespace xsd = <http://www.w3.org/2001/XMLSchema#> Ontology: <http://example.com/owl/families> <http://example.com/owl/families-v1> Import: <http://ex.com/owl2/families.owl> Annotations: dc:creator John, dc:creationYear 2008, dc:mainClass (Class Person) ObjectProperty: hasWife Annotations: ... Characteristics: Functional, InverseFunctional, Reflexive, Irreflexive, Asymmetric, Transitive Domain: Person, Man Range: Person, Woman SubPropertyOf: hasSpouse, loves EquivalentTo: isMarriedTo ,... DisjointWith: hates ,... Inverses: hasSpouse, inverseOf hasSpouse SubPropertyChain: Annotations: ... hasChild o hasParent o... DataProperty: hasAge Annotations: ... Characteristics: Functional Domain: Person ,... Range: integer ,... SubPropertyOf: hasAge ,... EquivalentTo: hasAgeInYears ,... DisjointWith: hasSSN ,... Class: Person Annotations: ... SubClassOf: owl:Thing that hasFirstName exactly 1 and hasFirstName only [string minLength 1] ,... SubClassOf: hasAge exactly 1 and hasAge only not [integer < 0] ,... SubClassOf: hasGender exactly 1 and hasGender only {female , male} ,... SubClassOf: hasSSN max 1, hasSSN min 1 SubClassOf: not hates Self, ... EquivalentTo: g:People ,... DisjointWith: g:Rock , g:Mineral ,... DisjointUnionOf: Annotations: ... Child, Adult Individual: John Annotations: ... Types: Person , hasFirstName value "John" or hasFirstName value "Jack"^^xsd:string Facts: hasWife Mary, not hasChild Susan, hasAge 33 SameAs: Jack ,... DifferentFrom: Susan ,... DisjointClasses: Annotations: ... g:Rock, g:Scissor, g:Paper EquivalentProperties: Annotations: ... hates, loathes, despises DisjointProperties: Annotations: ... hates, loves, indifferent EquivalentProperties: Annotations: ... favoriteNumber, g:favouriteNumber, g:favouriteInteger DisjointProperties: Annotations: ... favoriteInteger, favouriteReal SameIndividual: Annotations: ... John, Jack, Joe, Jim DifferentIndividuals: Annotations: ... John, Susan, Mary, Jill KeyFor: Annotations: ... hasSSN Person