Generating Visualizations of Ontologies in the Logic Graphs Language.
Vasiliy KuryshevIldar BaimuratovVladislav ShmatkovDmitry MouromtsevPublished in: FRUCT (2022)
Keyphrases
- formal language
- dynamic logic
- proof theory
- language learning
- intuitionistic logic
- rule engine
- knowledge representation
- relational structures
- knowledge base
- modal logic
- databases
- programming language
- logic programming
- semantic web
- conditional logic
- predicate calculus
- graph matching
- precisely defined
- conceptual graphs
- linear temporal logic
- natural language
- formal logic
- operational semantics
- formal theory
- predicate logic
- graph databases
- rewriting rules
- modal operators
- directed graph
- highly expressive
- owl ontologies
- visualization tools
- model theoretic
- agent programming
- domain specific
- ontology matching
- computational properties
- classical logic
- representation language
- inference rules
- domain ontology