Merge pull request #49 from dice-group/owlapi_adaptor

Refactoring owlapi adaptor

Author: Demirrr

docs/conf.py

@@ -13,7 +13,7 @@
 
 project = 'OWLAPY'
 author = 'Ontolearn Team'
-release = '0.1.2'
+release = '1.1.1'
 
 # -- General configuration ---------------------------------------------------
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#general-configuration

docs/usage/main.md

@@ -0,0 +1,46 @@
+from owlapy.owl_property import OWLObjectProperty
+from owlapy.owlapi_adaptor import OWLAPIAdaptor
+from owlapy.iri import IRI
+from owlapy.class_expression import OWLClass, OWLObjectIntersectionOf, OWLObjectAllValuesFrom, OWLObjectComplementOf
+from owlapy.providers import owl_datatype_min_exclusive_restriction
+import time
+ontology_location = "../KGs/Carcinogenesis/carcinogenesis.owl"
+
+i1 = set()
+i2 = set()
+i3 = set()
+i4 = set()
+
+for reasoner in ["HermiT", "Pellet", "JFact", "Openllet"]:
+    adaptor = OWLAPIAdaptor(ontology_location, reasoner)
+
+    ce = OWLObjectAllValuesFrom(property=OWLObjectProperty(IRI('http://dl-learner.org/carcinogenesis#','hasAtom')),
+                                filler=OWLObjectComplementOf(OWLClass(IRI('http://dl-learner.org/carcinogenesis#',
+                                                                          'Sulfur-75'))))
+
+    if reasoner == "HermiT":
+        i1 = set(adaptor.instances(ce))
+    elif reasoner == "Pellet":
+        i2 = set(adaptor.instances(ce))
+    elif reasoner == "JFact":
+        i3 = set(adaptor.instances(ce))
+    elif reasoner == "Openllet":
+        i4 = set(adaptor.instances(ce))
+
+print("Hermit-Pellet:")
+[print(_) for _ in i1-i2]
+time.sleep(10)
+print("Hermit-JFact:")
+[print(_) for _ in i1-i3]
+time.sleep(10)
+print("Hermit-Openllet:")
+[print(_) for _ in i1-i4]
+time.sleep(10)
+print("Pellet-JFact:")
+[print(_) for _ in i2-i3]
+time.sleep(10)
+print("Pellet-Openllet:")
+[print(_) for _ in i2-i4]
+time.sleep(10)
+print("JFact-Openllet:")
+[print(_) for _ in i3-i4]

docs/usage/owlapi_adaptor.md

@@ -5,26 +5,29 @@
 ontology_location = "../KGs/Family/family-benchmark_rich_background.owl"
 
 # Start an adaptor session and perform your operations.
-with OWLAPIAdaptor(ontology_location) as adaptor:
-    # Check ontology consistency using HermiT
-    print(f"Is the given ontology consistent? --> {adaptor.has_consistent_ontology()}")
-
-    # Construct an owlapy class expression
-    brother = OWLClass(IRI.create("http://www.benchmark.org/family#Brother"))
-    father = OWLClass(IRI.create("http://www.benchmark.org/family#Father"))
-    brother_and_father = OWLObjectIntersectionOf([brother, father])
-
-    # Find individual belonging to that class expression (using HermiT behind the scene)
-    instances = adaptor.instances(brother_and_father)
-    print("----------------------")
-    print("Individuals that are brother and father at the same time:")
-    [print(_) for _ in instances]
-
-    # Convert from owlapy to owlapi
-    py_to_pi = adaptor.convert_to_owlapi(brother_and_father)
-
-    # Convert from owlapi to owlapy
-    pi_to_py = adaptor.convert_from_owlapi(py_to_pi, "http://www.benchmark.org/family#")
-    print("----------------------")
-    print(f"Owlapy ce: {pi_to_py}")
+adaptor = OWLAPIAdaptor(ontology_location, "HermiT")
+# Check ontology consistency
+print(f"Is the given ontology consistent? --> {adaptor.has_consistent_ontology()}")
+
+# Construct an owlapy class expression
+brother = OWLClass(IRI.create("http://www.benchmark.org/family#Brother"))
+father = OWLClass(IRI.create("http://www.benchmark.org/family#Father"))
+brother_and_father = OWLObjectIntersectionOf([brother, father])
+
+# Find individual belonging to that class expression
+instances = adaptor.instances(brother_and_father)
+print("----------------------")
+print("Individuals that are brother and father at the same time:")
+[print(_) for _ in instances]
+
+# Convert from owlapy to owlapi
+py_to_pi = adaptor.convert_to_owlapi(brother_and_father)
+
+# Convert from owlapi to owlapy
+pi_to_py = adaptor.convert_from_owlapi(py_to_pi, "http://www.benchmark.org/family#")
+print("----------------------")
+print(f"Owlapy ce: {pi_to_py}")
+
+# Stop the JVM to free the associated resources.
+adaptor.stopJVM()  # or jpype.shutdownJVM()
 

examples/comparing_adaptor_reasoners.py

@@ -1,4 +1,4 @@
 from .render import owl_expression_to_dl, owl_expression_to_manchester
 from .parser import dl_to_owl_expression, manchester_to_owl_expression
 from .converter import owl_expression_to_sparql
-__version__ = '1.1.0'
+__version__ = '1.1.1'