RELExO2
RELExO2 is a tool for reasoner-aided relational exploration of OWL DL ontologies. Unlike its predecessor, RELExO2 provides full support for partial contexts. The current distribution is self-contained, though it does not include LExO, which is separately available.
Relational Exploration
Features
- Support for exploring OWL DL ontologies
- ConExp export of the resulting context
- Support for partial contexts
- Ontology management back-end based on KAON2
- Optimized use of the KAON2 reasoner
- Abstract interface for different expert implementations
- Expert team consisting of human and ontology reasoner
- Graphical user interface (GUI)
- Easy reuse of previously specified counterexamples
- Checks for logical consistency
- Configurable by means of a configuration file
- Validation of user-specified counterexamples
- ...
Publications
Johanna Völker, Sebastian Rudolph. Lexico-Logical Acquisition of OWL DL Axioms - An Integrated Approach to Ontology Refinement. In Raoul Medina and Sergei Obiedkov, Proceedings of the International Conference on Formal Concept Analysis (ICFCA'08), Springer, February 2008. (to appear)