family ontology added disjointness axiom

coolmaksat · coolmaksat · commit e29e7fffd8dd · 2023-01-29T09:36:46.000+03:00
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,4 @@
+.ipynb_checkpoints/
 ## Core latex/pdflatex auxiliary files:
 *.aux
 *.lof
diff --git a/notebooks/data/family.owl b/notebooks/data/family.owl
@@ -56,6 +56,7 @@
             </owl:Class>
         </owl:equivalentClass>
         <rdfs:subClassOf rdf:resource="http://Person"/>
+        <owl:disjointWith rdf:resource="http://Male"/>
     </owl:Class>
     
 
diff --git a/notebooks/model-theoretic.ipynb b/notebooks/model-theoretic.ipynb
diff --git a/scripts/fo.py b/scripts/fo.py
@@ -27,6 +27,7 @@ def main():
     axioms.add(adapter.create_subclass_of(parent, person))
     axioms.add(adapter.create_subclass_of(mother, female))
     axioms.add(adapter.create_subclass_of(father, male))
+    axioms.add(adapter.create_disjoint_classes(male, female))
     parent_and_male = adapter.create_object_intersection_of(parent, male)
     axioms.add(adapter.create_subclass_of(parent_and_male, father))
     parent_and_female = adapter.create_object_intersection_of(parent, female)

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+.ipynb_checkpoints/`
`1`	`2`	`## Core latex/pdflatex auxiliary files:`
`2`	`3`	`*.aux`
`3`	`4`	`*.lof`