Sign in
Towards Designing a Tool For Understanding Proofs in Ontologies through Combined Node-Link Diagrams.
Tamara Flemisch
Ricardo Langner
Christian Alrabbaa
Raimund Dachselt
Published in:
VOILA@ISWC (2020)
Keyphrases
</>
databases
software tools
knowledge base
tree structure
theorem proving
knowledge structures
conceptual models
domain specific
software development
semantic web
domain ontology
graphical representation
ontology mapping
destination node