OWL to yUML Syntax Reference
Class Expressions
Declarations
Declaration(Class(Person))
Declaration(NamedIndividual(Peter))
Declaration(ObjectProperty(hasFather))
 owl:Thing {bg:goldenrod}]-hasFather>[(⊤) owl:Thing {bg:goldenrod}].png)
Propositional Connectives and Enumeration of Individuals
ObjectIntersectionOf(Dog CanTalk)
 Dog and CanTalk {bg:goldenrod}].png)
ObjectUnionOf(Man Woman)
 Man or Woman {bg:goldenrod}].png)
ObjectComplementOf(Man)
 not Man {bg:goldenrod}].png)
EquivalentClasses(GriffinFamilyMember ObjectOneOf(Peter Lois Stewie Meg Chris Brian))
 GriffinFamilyMember {bg:goldenrod}]^-^[(≡) ｛♦Peter‚ ♦Lois‚ ♦Stewie‚ ♦Meg‚ ♦Chris‚ ♦Brian｝ {bg:goldenrod}].png)
Object Property Restrictions
ObjectSomeValuesFrom(hasWheels Wheels)
 hasWheels some Wheels {bg:goldenrod}].png)
ObjectAllValuesFrom(hasWheels Wheels)
 hasWheels only Wheels {bg:goldenrod}].png)
ObjectHasValue(fatherOf Stewie)
 fatherOf value Stewie {bg:goldenrod}].png)
ObjectHasSelf(likes)
 likes {bg:goldenrod}].png)
Object Property Cardinality Restrictions
ObjectMaxCardinality(parent 2)
 parent max 2 {bg:goldenrod}].png)
ObjectMinCardinality(hasFather 2)
 hasFather min 1 {bg:goldenrod}].png)
ObjectExactCardinality(parent 2)
 parent exact 2 {bg:goldenrod}].png)
Data Property Restrictions
DataSomeValuesFrom(hasAge xsd:integer)
 |hasAge some xsd:integer {bg:goldenrod}].png)
DataAllValuesFrom(hasZIP xsd:integer)
 |hasZIP only xsd:integer {bg:goldenrod}].png)
DataHasValue(hasAge "17"^^xsd:integer)
 |hasAge '17'^^xsd:integer {bg:goldenrod}].png)
Data Property Cardinality Restrictions
DataMaxCardinality(2 hasName xsd:string)
 |hasName max 2 xsd:string {bg:goldenrod}].png)
DataMinCardinality(2 hasName)
 |hasName min 2 {bg:goldenrod}].png)
ObjectExactCardinality(parent 2)
 |parent exact 2 {bg:goldenrod}].png)
Axioms
Class Expression Axioms
SubClassOf(Child Person)
EquivalentClasses(Boy ObjectIntersectionOf(Child Man))
 Boy {bg:goldenrod}]^-^[(≡) Child and Man {bg:goldenrod}].png)
DisjointClasses(Man Woman)
DisjointUnion(Child Boy Girl)
 Child {bg:goldenrod}]^«disjointUnion»-[● Boy {bg:goldenrod}], [(≡) Child {bg:goldenrod}]^«disjointUnion»-[● Girl {bg:goldenrod}].png)
Object Property Axioms
SubObjectPropertyOf(ObjectPropertyChain(hasMother hasSister) hasAunt)
 owl:Thing {bg:goldenrod}]-hasMother>[(⊤) owl:Thing {bg:goldenrod}], [(⊤) owl:Thing {bg:goldenrod}]-hasSister>[(⊤) owl:Thing {bg:goldenrod}], [(⊤) owl:Thing {bg:goldenrod}]-hasAunt\n{hasMother o hasSister}>[(⊤) owl:Thing {bg:goldenrod}].png)
EquivalentObjectProperties(hasBrother hasMaleSibling)
 owl:Thing {bg:goldenrod}]-hasBrother{≡ hasMaleSibling}>[(⊤) owl:Thing {bg:goldenrod}],[(⊤) owl:Thing {bg:goldenrod}]-hasMaleSibling{≡ hasBrother}>[(⊤) owl:Thing {bg:goldenrod}].png)
DisjointObjectProperties(hasFather hasMother)
 owl:Thing {bg:goldenrod}]-hasFather{«disjointOf» hasMother}>[(⊤) owl:Thing {bg:goldenrod}],[(⊤) owl:Thing {bg:goldenrod}]-hasMother{«disjointOf» hasFather}>[(⊤) owl:Thing {bg:goldenrod}].png)
InverseObjectProperties(hasFather fatherOf)
 owl:Thing {bg:goldenrod}]<fatherOf-hasFather>[(⊤) owl:Thing {bg:goldenrod}].png)
ObjectPropertyDomain(hasDog Person)
 owl:Thing {bg:goldenrod}].png)
ObjectPropertyRange(hasDog Dog)
 owl:Thing {bg:goldenrod}]-hasDog>[● Dog {bg:goldenrod}].png)
ObjectPropertyDomain(hasDog Person) ObjectPropertyRange(hasDog Dog) ObjectPropertyDomain(hasPet Person) ObjectPropertyRange(hasPet Dog) SubObjectPropertyOf(hasDog hasPet)
FunctionalObjectProperty(hasFather)
 owl:Thing {bg:goldenrod}]-hasFather 1->[(⊤) owl:Thing {bg:goldenrod}].png)
InverseFunctionalObjectProperty(fatherOf)
 owl:Thing {bg:goldenrod}]1-fatherOf->[(⊤) owl:Thing {bg:goldenrod}].png)
ReflexiveObjectProperty(knows)
 owl:Thing {bg:goldenrod}]-«reflexive» knows>[(⊤) owl:Thing {bg:goldenrod}].png)
IrreflexiveObjectProperty(marriedTo)
 owl:Thing {bg:goldenrod}]-«ireflexive» marriedTo>[(⊤) owl:Thing {bg:goldenrod}].png)
SymmetricObjectProperty(friend)
 owl:Thing {bg:goldenrod}]-«symmetric» friend[(⊤) owl:Thing {bg:goldenrod}].png)
AsymmetricObjectProperty(parentOf)
 owl:Thing {bg:goldenrod}]-«asymmetric» parentOf>[(⊤) owl:Thing {bg:goldenrod}].png)
TransitiveObjectProperty(ancestorOf)
 owl:Thing {bg:goldenrod}]-«transitive» ancestorOf>[(⊤) owl:Thing {bg:goldenrod}].png)
Data Property Axioms
SubDataPropertyOf(hasLastName hasName)
 owl:Thing|hasLastName «subPropertyOf» hasName {bg:goldenrod}].png)
EquivalentDataProperties(hasName seLlama)
 owl:Thing|hasName ≡ seLlama {bg:goldenrod}].png)
DisjointDataProperties(hasName hasAddress)
 owl:Thing|hasName «disjointOf» hasAddress {bg:goldenrod}].png)
DataPropertyDomain(hasName Person)
DataPropertyRange(hasName xsd:string)
 owl:Thing|hasName xsd:string {bg:goldenrod}].png)
FunctionalDataProperty(hasAge)
 owl:Thing|hasAge «functional» {bg:goldenrod}].png)
Individual Equality
SameIndividual(Meg Megan)
Individual Inequality
DifferentIndividuals(Peter Meg Chris Stewie)
Class Assertions
ClassAssertion(Dog Brian)
Positive Object Property Assertions
ObjectPropertyAssertion(hasDog Peter Brian)
Negative Object Property Assertions
NegativeObjectPropertyAssertion(hasSon Peter Meg)
Positive Object Property Assertions
DataPropertyAssertion(hasAge Meg "17"^^xsd:integer)
Negative Data Property Assertions
NegativeDataPropertyAssertion(hasAge Meg "5"^^xsd:integer)
Annotations
