AGM Revision in Description Logics Under Fixed-Domain Semantics.
Faiq Miftakhul FalakhSebastian RudolphPublished in: Description Logics (2022)
Keyphrases
- description logics
- model theoretic
- minimal change
- belief revision
- knowledge base
- reasoning tasks
- uml class diagrams
- computational properties
- owl dl
- belief change
- reasoning services
- taxonomic reasoning
- epistemic states
- fuzzy description logics
- reasoning problems
- default reasoning
- knowledge representation formalisms
- highly expressive
- reasoning mechanism
- owl ontologies
- action theories
- knowledge representation languages
- semantic web
- dl lite
- concept descriptions
- dl programs
- knowledge representation
- ontology languages
- knowledge representation and reasoning
- ontology reasoning
- propositional logic
- artificial intelligence
- deductive databases
- logic programming
- computing least common subsumers
- nonmonotonic logics
- decision procedures
- nonmonotonic reasoning
- logic programs
- operational semantics
- fixpoint
- number restrictions
- domain ontology
- expert systems
- description logic programs
- machine learning