Semantic characterization of rational closure: From propositional logic to description logics.
Laura GiordanoValentina GliozziNicola OlivettiGian Luca PozzatoPublished in: Artif. Intell. (2015)
Keyphrases
- propositional logic
- description logics
- semantic web
- first order logic
- dl lite
- nonmonotonic logics
- knowledge representation
- knowledge base
- function free horn
- belief revision
- owl ontologies
- reasoning tasks
- computational properties
- reasoning problems
- natural language
- model theoretic
- expressive power
- satisfiability testing
- belief change
- expert systems
- data integration
- artificial intelligence
- minimal models
- ontology reasoning
- np hard