Reorder components in OWL Functional files to follow ordering from `:…

…:model`
phillord · Mar 2, 2024 · 08db1b3 · 08db1b3
1 parent fcd421b
commit 08db1b3
Show file tree

Hide file tree

Showing 2 changed files with 51 additions and 52 deletions.
diff --git a/src/ont/owl-functional/data-property-sub.ofn b/src/ont/owl-functional/data-property-sub.ofn
@@ -7,6 +7,6 @@ Prefix(rdfs:=<http://www.w3.org/2000/01/rdf-schema#>)
 Ontology(<http://www.example.com>
     Declaration(DataProperty(:A))
     Declaration(DataProperty(:B))
-    SubDataPropertyOf(:A owl:topDataProperty)
     SubDataPropertyOf(:B :A)
+    SubDataPropertyOf(:A owl:topDataProperty)
 )
diff --git a/src/ont/owl-functional/family.ofn b/src/ont/owl-functional/family.ofn
@@ -3,10 +3,9 @@ Prefix(rdf:=<http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
 Prefix(xml:=<http://www.w3.org/XML/1998/namespace>)
 Prefix(xsd:=<http://www.w3.org/2001/XMLSchema#>)
 Prefix(rdfs:=<http://www.w3.org/2000/01/rdf-schema#>)
-Prefix(family:=<http://example.com/owl/families/>)
-Prefix(family-other:=<http://homepages.cs.ncl.ac.uk/phillip.lord/scratch/family-other.owl#>)
+Prefix(family:=<http://example.com/owl/families#>)
 Ontology(<http://example.com/owl/families/>
-    Import(<http://homepages.cs.ncl.ac.uk/phillip.lord/scratch/family-other.owl#>)
+    Import(<http://homepages.cs.ncl.ac.uk/phillip.lord/scratch/family-other.owl>)
     Declaration(Class(family:Adult))
     Declaration(Class(family:ChildlessPerson))
     Declaration(Class(family:Dead))
@@ -62,72 +61,72 @@ Ontology(<http://example.com/owl/families/>
     Declaration(Datatype(family:minorAge))
     Declaration(Datatype(family:personAge))
     Declaration(Datatype(family:toddlerAge))
-    TransitiveObjectProperty(family:hasAncestor)
+    SubClassOf(Annotation(rdfs:comment "States that every man is a person"@en) family:Man family:Person)
+    SubClassOf(family:Woman family:Person)
+    SubClassOf(Annotation(rdfs:comment "States that every woman in a person"@en) family:Woman family:Person)
+    SubClassOf(family:Mother family:Woman)
+    SubClassOf(family:Father ObjectIntersectionOf(family:Man family:Parent))
+    SubClassOf(family:Grandfather ObjectIntersectionOf(family:Man family:Parent))
+    SubClassOf(ObjectIntersectionOf(family:Female ObjectOneOf(family:Bill family:Mary family:Meg)) ObjectIntersectionOf(family:Parent ObjectAllValuesFrom(family:hasChild family:Female) ObjectMaxCardinality(1 family:hasChild)))
+    SubClassOf(family:ChildlessPerson ObjectIntersectionOf(family:Person ObjectComplementOf(ObjectSomeValuesFrom(ObjectInverseOf(family:hasParent) owl:Thing))))
+    SubClassOf(family:Teenager DataSomeValuesFrom(family:hasAge DatatypeRestriction(xsd:integer xsd:minExclusive "12"^^xsd:integer xsd:maxExclusive "19"^^xsd:integer)))
+    EquivalentClasses(family:Adult <http://homepages.cs.ncl.ac.uk/phillip.lord/scratch/family-other.owl#Grownup>)
+    EquivalentClasses(family:ChildlessPerson ObjectIntersectionOf(family:Person ObjectComplementOf(family:Parent)))
+    EquivalentClasses(family:HappyPerson ObjectIntersectionOf(ObjectSomeValuesFrom(family:hasChild family:HappyPerson) ObjectAllValuesFrom(family:hasChild family:HappyPerson)))
+    EquivalentClasses(family:Human family:Person)
+    EquivalentClasses(family:JohnsChildren ObjectHasValue(family:hasParent family:John))
+    EquivalentClasses(family:Mother ObjectIntersectionOf(family:Parent family:Woman))
+    EquivalentClasses(family:MyBirthdayGuests ObjectOneOf(family:Bill family:John family:Mary))
+    EquivalentClasses(family:NarcisticPerson ObjectHasSelf(family:loves))
+    EquivalentClasses(family:Orphan ObjectAllValuesFrom(ObjectInverseOf(family:hasChild) family:Dead))
+    EquivalentClasses(family:Parent ObjectUnionOf(family:Father family:Mother))
+    EquivalentClasses(family:Parent ObjectSomeValuesFrom(family:hasChild family:Person))
+    DisjointClasses(family:Father family:Mother family:YoungChild)
+    DisjointClasses(family:Man family:Woman)
+    SubObjectPropertyOf(ObjectPropertyChain(family:hasParent family:hasParent) family:hasGrandparent)
+    SubObjectPropertyOf(family:hasFather family:hasParent)
+    SubObjectPropertyOf(family:hasWife family:hasSpouse)
+    SubObjectPropertyOf(ObjectPropertyChain(family:hasFather family:hasBrother) family:hasUncle)
     EquivalentObjectProperties(family:hasChild <http://homepages.cs.ncl.ac.uk/phillip.lord/scratch/family-other.owl#child>)
-    InverseObjectProperties(family:hasChild family:hasParent)
-    AsymmetricObjectProperty(family:hasChild)
     DisjointObjectProperties(family:hasDaughter family:hasSon)
-    SubObjectPropertyOf(family:hasFather family:hasParent)
-    FunctionalObjectProperty(family:hasHusband)
-    InverseFunctionalObjectProperty(family:hasHusband)
     DisjointObjectProperties(family:hasParent family:hasSpouse)
-    ReflexiveObjectProperty(family:hasRelative)
-    SymmetricObjectProperty(family:hasSpouse)
-    SubObjectPropertyOf(family:hasWife family:hasSpouse)
+    InverseObjectProperties(family:hasChild family:hasParent)
     ObjectPropertyDomain(family:hasWife family:Man)
     ObjectPropertyRange(family:hasWife family:Woman)
+    FunctionalObjectProperty(family:hasHusband)
+    InverseFunctionalObjectProperty(family:hasHusband)
+    ReflexiveObjectProperty(family:hasRelative)
     IrreflexiveObjectProperty(family:parentOf)
+    SymmetricObjectProperty(family:hasSpouse)
+    AsymmetricObjectProperty(family:hasChild)
+    TransitiveObjectProperty(family:hasAncestor)
     EquivalentDataProperties(family:hasAge <http://homepages.cs.ncl.ac.uk/phillip.lord/scratch/family-other.owl#age>)
-    FunctionalDataProperty(family:hasAge)
     DataPropertyDomain(family:hasAge family:Person)
     DataPropertyRange(family:hasAge xsd:nonNegativeInteger)
+    FunctionalDataProperty(family:hasAge)
     DatatypeDefinition(family:majorAge DataIntersectionOf(family:personAge DataComplementOf(family:minorAge)))
     DatatypeDefinition(family:minorAge DatatypeRestriction(xsd:integer xsd:minInclusive "0"^^xsd:integer xsd:maxInclusive "18"^^xsd:integer))
     DatatypeDefinition(family:personAge DatatypeRestriction(xsd:integer xsd:minInclusive "0"^^xsd:integer xsd:maxInclusive "150"^^xsd:integer))
     DatatypeDefinition(family:toddlerAge DataOneOf("1"^^xsd:integer "2"^^xsd:integer))
-    EquivalentClasses(family:Adult <http://homepages.cs.ncl.ac.uk/phillip.lord/scratch/family-other.owl#Grownup>)
-    EquivalentClasses(family:ChildlessPerson ObjectIntersectionOf(family:Person ObjectComplementOf(family:Parent)))
-    SubClassOf(family:ChildlessPerson ObjectIntersectionOf(family:Person ObjectComplementOf(ObjectSomeValuesFrom(ObjectInverseOf(family:hasParent) owl:Thing))))
-    SubClassOf(family:Father ObjectIntersectionOf(family:Man family:Parent))
-    SubClassOf(family:Grandfather ObjectIntersectionOf(family:Man family:Parent))
-    EquivalentClasses(family:HappyPerson ObjectIntersectionOf(ObjectSomeValuesFrom(family:hasChild family:HappyPerson) ObjectAllValuesFrom(family:hasChild family:HappyPerson)))
-    EquivalentClasses(family:Human family:Person)
-    EquivalentClasses(family:JohnsChildren ObjectHasValue(family:hasParent family:John))
-    SubClassOf(Annotation(rdfs:comment "States that every man is a person"@en) family:Man family:Person)
-    DisjointClasses(family:Man family:Woman)
-    EquivalentClasses(family:Mother ObjectIntersectionOf(family:Parent family:Woman))
-    SubClassOf(family:Mother family:Woman)
-    EquivalentClasses(family:MyBirthdayGuests ObjectOneOf(family:Bill family:John family:Mary))
-    EquivalentClasses(family:NarcisticPerson ObjectHasSelf(family:loves))
-    EquivalentClasses(family:Orphan ObjectAllValuesFrom(ObjectInverseOf(family:hasChild) family:Dead))
-    EquivalentClasses(family:Parent ObjectUnionOf(family:Father family:Mother))
-    EquivalentClasses(family:Parent ObjectSomeValuesFrom(family:hasChild family:Person))
-    AnnotationAssertion(rdfs:comment family:Person "Represents the set of all people."@en)
-    SubClassOf(family:Teenager DataSomeValuesFrom(family:hasAge DatatypeRestriction(xsd:integer xsd:minExclusive "12"^^xsd:integer xsd:maxExclusive "19"^^xsd:integer)))
-    SubClassOf(family:Woman family:Person)
-    SubClassOf(Annotation(rdfs:comment "States that every woman in a person"@en) family:Woman family:Person)
-    NegativeObjectPropertyAssertion(family:hasDaughter family:Bill family:Susan)
-    NegativeObjectPropertyAssertion(family:hasWife family:Bill family:Mary)
-    ClassAssertion(family:SocialRole family:Father)
-    ClassAssertion(family:Person family:Jack)
-    ClassAssertion(ObjectComplementOf(family:Parent) family:Jack)
-    NegativeDataPropertyAssertion(family:hasAge family:Jack "53"^^xsd:integer)
+    HasKey(family:Person () (family:hasSSN))
     SameIndividual(family:James family:Jim)
+    SameIndividual(family:John <http://homepages.cs.ncl.ac.uk/phillip.lord/scratch/family-other.owl#JohnBrown>)
+    SameIndividual(family:Mary <http://homepages.cs.ncl.ac.uk/phillip.lord/scratch/family-other.owl#MaryBrown>)
+    DifferentIndividuals(family:Bill family:John)
     ClassAssertion(family:Father family:John)
+    ClassAssertion(family:Person family:Jack)
+    ClassAssertion(family:Person family:Mary)
+    ClassAssertion(family:SocialRole family:Father)
+    ClassAssertion(family:Woman family:Mary)
+    ClassAssertion(ObjectComplementOf(family:Parent) family:Jack)
     ClassAssertion(ObjectMinCardinality(2 family:hasChild family:Parent) family:John)
+    ClassAssertion(ObjectMaxCardinality(4 family:hasChild family:Parent) family:John)
     ClassAssertion(ObjectExactCardinality(3 family:hasChild family:Parent) family:John)
     ClassAssertion(ObjectExactCardinality(5 family:hasChild) family:John)
-    ClassAssertion(ObjectMaxCardinality(4 family:hasChild family:Parent) family:John)
-    SameIndividual(family:John <http://homepages.cs.ncl.ac.uk/phillip.lord/scratch/family-other.owl#JohnBrown>)
     ObjectPropertyAssertion(family:hasWife family:John family:Mary)
+    NegativeObjectPropertyAssertion(family:hasDaughter family:Bill family:Susan)
+    NegativeObjectPropertyAssertion(family:hasWife family:Bill family:Mary)
     DataPropertyAssertion(family:hasAge family:John "51"^^xsd:integer)
-    ClassAssertion(family:Person family:Mary)
-    ClassAssertion(family:Woman family:Mary)
-    SameIndividual(family:Mary <http://homepages.cs.ncl.ac.uk/phillip.lord/scratch/family-other.owl#MaryBrown>)
-    SubClassOf(ObjectIntersectionOf(family:Female ObjectOneOf(family:Bill family:Mary family:Meg)) ObjectIntersectionOf(family:Parent ObjectAllValuesFrom(family:hasChild family:Female) ObjectMaxCardinality(1 family:hasChild)))
-    DisjointClasses(family:Father family:Mother family:YoungChild)
-    DifferentIndividuals(family:Bill family:John)
-    SubObjectPropertyOf(ObjectPropertyChain(family:hasFather family:hasBrother) family:hasUncle)
-    SubObjectPropertyOf(ObjectPropertyChain(family:hasParent family:hasParent) family:hasGrandparent)
-    HasKey(family:Person () (family:hasSSN))
+    NegativeDataPropertyAssertion(family:hasAge family:Jack "53"^^xsd:integer)
+    AnnotationAssertion(rdfs:comment family:Person "Represents the set of all people."@en)
 )