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