Login / Signup
On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version).
Christian Alrabbaa
Stefan Borgwardt
Tom Friese
Patrick Koopmann
Julián Méndez
Alexej Popovic
Published in:
CoRR (2022)
Keyphrases
</>
owl ontologies
description logics
ontology languages
knowledge base
reasoning tasks
semantic web
reasoning problems
knowledge representation
theorem proving
dl lite
theorem prover
relational databases
information extraction
semi automatic
production rules
rule language