Release Highlights

• Added a new functionality: syntactic class expression simplifier for making lengthy class expression less complex.
• Fixed an issue where the ontogen module was not being found.
• Improved and updated documentation for better clarity and usability.

Install/Upgrade:

pip install -U owlapy

What's Changed

• Syntactic class expression simplifier by @alkidbaci in #159

Full Changelog: 1.6.0...1.6.1

Summary:

In this release we introduce a new reasoner, the embedding-based reasoner (EBR). You can find out more about it in the documentation. Moreover, owlapy now supports Semantic Web Rule Language (SWRL). Other updates include addition of new features like justification creation for why a class expression holds for a given individual or set of individuals. Lastly but not least we introduced a new module for ontology generation from text, using LLMs. We plan to keep improving towards this end.

Installation/upgrade:

pip install -U owlapy

What's Changed

• Justification by @Balramt in #149
• Added EBR by @LckyLke in #147
• Added support for Semantic Web Rule Language (SWRL) by @alkidbaci in #152
• Ontology generation by @alkidbaci in #154
• Changes before release by @alkidbaci in #155

New Contributors

• @Balramt made their first contribution in #149

Full Changelog: 1.5.1...1.6.0

Summary:

This update refines the handling of bottom entities—both inclusion and exclusion—to support seamless integration with Ontolearn.

We made some other minor changes. Please see #144 for full list of changes!

Installation/upgrade:

pip install -U owlapy

What's Changed

• Bug fixing & and some additional features by @alkidbaci in #144
• Reasoners benchmark by @alkidbaci in #145

Full Changelog: 1.5.0...1.5.1

Changes Summary:

• Ontology manager is deprecated.
  • The idea behind ontology manager is to manage multiple ontologies using a single managing entity. However, we don't use that functionality in owlapy and concluded that the manager does not play any important role. Therefore we are removing the manager and making it easier this way to initialize an ontology (note that Sync classes, still use owlapi's ontology manager, that stays unchanged). That also means that you can directly modify/save using the ontology instance (something that has gradually shifted from the manager to ontology itself throughout recent releases).
• Added some new functions like converting an ontology to CSV and vice-versa, and generating an ontology from triples using the help of an LLM for populating it with classes.
• ELK reasoner made available to use via SyncReasoner.
• Bug fixing and documentation update.

Installation/upgrade:

pip install -U owlapy

All Changes

• kg to csv conversion by @LckyLke in #130
• Bug fixing by @alkidbaci in #131
• Deprecating manager & removed GPL-3.0 licensed code by @alkidbaci in #132
• Ontology generation function by @alkidbaci in #134
• ELK reasoner added as a choice for SyncReasoner by @alkidbaci in #138

Full Changelog: 1.4.0...1.5.0

We are happy to share this new release with the community.

Installation/upgrade using PyPI:

pip install -U owlapy

Changes Summary:

• You will now find more literal types.
• A new feature to use CSV data for RDF KG construction is added as well as RDFLibOntology .
• Added new CLI command owlapy-serve to start owlapy API server.
• Optimization, bug fixing and more tests added to ensure the code reliability.

You can check the details below:

All Changes (+ PRs)

• New literals by @alkidbaci in #109
• From CSV to RDF Knowledge Graph by @Demirrr in #108
• A CSV file is mapped to an RDF KGs containing only literals by @Demirrr in #110
• Refactoring by @Demirrr in #111
• Complement of complement fix by @LckyLke in #113
• Fix for #112 by @Demirrr in #114
• RDFlib based ontology implemented by @Demirrr in #116
• Olwapy serve by @LckyLke in #117
• Added mapping for OWLObjectInverseOf by @alkidbaci in #122
• owlapy_serve usage in examples folder by @LckyLke in #121
• Bug fixing by @alkidbaci in #127

Full Changelog: 1.3.3...1.4.0

In this new patch we have fixed some hashing-related bugs, made some refactoring for SyncReasoner and StructuralReasoner where we are planning to remove caching. A new function is also introduced which saves owl class expressions.

To install or upgrade:

pip install -U owlapy

What's Changed

• changing _values to frozenset to allow for hashing by @LckyLke in #96
• save_owl_class_expressions and test included by @Demirrr in #99
• Refactor structural reasoner by @LckyLke in #100
• Test hashes by @Demirrr in #102
• Refactoring sync reasoner by @Demirrr in #105

New Contributors

• @LckyLke made their first contribution in #96

Full Changelog: 1.3.2...1.3.3

We have a new early release this time where we have fixed/improved the DL and Manchester renderer and parser and made some fundamental refactoring to our oldest reasoners. Check the respective PRs for more details.

Install/Upgrade:

pip install -U owlapy

What's Changed

• Direct and Inverse Mappings Owlapy objects into DL syntax in string and Manchester syntax string by @Demirrr in #90
• Refactoring on owl reasoners and some fixes/improvements by @alkidbaci in #92

Full Changelog: 1.3.1...1.3.2

Version 1.3.1 is now out where some fixes and refactoring has been made as well as some new features are introduced.
You can find more details in the PRs below.

Install/Upgrade:

pip install -U owlapy

What's Changed

• New terminal command by @alkidbaci in #68
• Issues solving by @alkidbaci in #72
• fixing issue with OWLNothing + new parameter for OWLReasoner.instances by @alkidbaci in #73
• Removed unused jar files by @alkidbaci in #76
• New methods for SyncOntology and SyncReasoner by @alkidbaci in #77
• SPARQL query returning a confusion matrix by @nkaralis in #83
• Confusion matrix query improvements by @nkaralis in #85
• Owl sqarql refactoring by @Demirrr in #84

Full Changelog: 1.3.0...1.3.1

Happy to share with you version 1.3.0 of owlapy. We present some new classes as well as some important changes. Feel free to read the highlights below.

As always you can upgrade using pip:

pip install -U owlapy

New

• Added new ontology manager: SyncOntologyManager.
• Added new ontology: SyncOntology.
• Added new mappings in OWLAPIMapper .
• Added new package owlapy.abstracts.
• Added 'Structural' reasoner as an new reasoner option for SyncReasoner.

Changes

• OWLAPIAdaptor is removed/disbanded. Its methods are now moved directly to SyncReasoner.
• OWLAPIMapper is now initialized using SyncOntology.
• SyncReasoner and SyncOntology can now be initialized directly using the path of the ontology (instead of the IRI).
• Abstract classes OWLReasoner, OWLReasonerEx, OWLOntology, OWLOntologyManager and OWLOntologyChange moved to subpackage owlapy.abstracts.
• 'add' and 'remove' axiom methods are moved from OWLOntologyManager to OWLOntology. This comes with parameters changes. Check the docstrings.
• Signature changes on methods of OWLReasoner:
  • The argument only_named is no longer a required argument of the abstract methods
  • The argument direct is no longer required on the following methods: data_property_values, object_property_values and all_data_property_values.
• JPype start and stop functions moved to owlapy/sync_functions.py.

Docs

• Documentation updated in accordance.
• README updated in accordance.

PRs

#62 #64

Full Changelog: 1.2.1...1.3.0

OWL Reasoners for Type Inference and Ontology Enrichment

With OWLAPI integration, we can enjoy owlapi in python.
For instance, OWL Reasoners like 'HermiT' and 'Pellet' can be easily used to infer missing type information.

from owlapy.owl_ontology_manager import OntologyManager
from owlapy.owlapi_adaptor import OWLAPIAdaptor

ontology_path = "KGs/Family/family-benchmark_rich_background.owl"
# Available OWL Reasoners: 'HermiT', 'Pellet', 'JFact', 'Openllet'
owlapi_adaptor = OWLAPIAdaptor(path=ontology_path, name_reasoner="Pellet")
onto = OntologyManager().load_ontology(ontology_path)
# Iterate over defined owl Classes in the signature
for i in onto.classes_in_signature():
    # Performing type inference with Pellet
    instances=owlapi_adaptor.instances(i,direct=False)
    print(f"Class:{i}\t Num instances:{len(instances)}")
owlapi_adaptor.stopJVM()

What's Changed

• Merge to main v1.1.1 by @alkidbaci in #50
• infer_save() implemented to infer different types of axioms by @Demirrr in #52
• Owlapi adaptor changes and SyncReasoner update by @alkidbaci in #53
• Owl to sentence by @Demirrr in #56
• Added logo, bandages and more by @alkidbaci in #57
• Owlapy mapper extension and infer methods of adapter by @alkidbaci in #58
• Refactoring and Readme Update by @Demirrr in #59
• New Release 1.2.1 by @Demirrr in #61

Full Changelog: 1.1.1...1.2.1