Using Prolog Unification to Solve Non-standard Reasoning Problems in Description Logics.
Simona ColucciFrancesco M. DoniniPublished in: CILC (2012)
Keyphrases
- reasoning problems
- description logics
- knowledge representation
- knowledge base
- reasoning tasks
- decision procedures
- computational properties
- theorem proving
- constraint satisfaction problems
- semantic web
- owl dl
- logic programming
- ontology languages
- dl lite
- tree decomposition
- data integration
- data types
- inference engine
- programming language
- expert systems
- computational complexity
- model theoretic
- bayesian networks
- machine learning