Prolog Based Description Logic Reasoning.
Gergely LukácsyPéter SzerediBalázs KádárPublished in: ICLP (2008)
Keyphrases
- description logics
- knowledge representation
- knowledge base
- reasoning tasks
- expressive description logics
- reasoning problems
- reasoning systems
- knowledge representation systems
- knowledge representation and reasoning
- computational properties
- reasoning mechanism
- reasoning services
- logic programming
- computing least common subsumers
- ontology reasoning
- number restrictions
- knowledge representation formalisms
- expert systems
- owl dl
- semantic web ontologies
- inference engine
- ontology languages
- knowledge representation languages
- artificial intelligence
- mathcal shiq
- model theoretic
- exptime complete
- automated reasoning
- web ontology language
- dl lite
- dl programs
- semantic web
- programming language
- natural language
- description logic programs
- reasoning process
- production rules
- first order logic
- snomed ct
- machine learning
- expressive power
- concept descriptions