An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL.
Carsten LutzInanç SeylanFrank WolterPublished in: KR (2012)
Keyphrases
- description logics
- knowledge base
- dl lite
- knowledge representation
- reasoning tasks
- computational properties
- semantic web
- reasoning mechanism
- ontology languages
- reasoning problems
- reasoning systems
- concept descriptions
- model theoretic
- computing least common subsumers
- snomed ct
- dl programs
- finite automata
- owl ontologies
- semantic mapping
- finite state
- knowledge representation languages
- finite state machines
- regular expressions