Translating Equilibrium Description Logics into Circumscription.
Federica Di StefanoMantas SimkusPublished in: Description Logics (2024)
Keyphrases
- description logics
- reasoning tasks
- knowledge base
- knowledge representation
- nonmonotonic logics
- semantic web
- computational properties
- autoepistemic logic
- logic programs
- situation calculus
- model theoretic
- reasoning systems
- default logic
- reasoning problems
- logic programming
- knowledge representation and reasoning
- concept descriptions
- nonmonotonic reasoning
- theorem prover
- minimal models
- ontology languages
- default reasoning
- stable model semantics
- knowledge representation formalisms
- reasoning services
- knowledge representation languages
- answer sets
- dl programs
- terminological knowledge
- owl dl
- owl ontologies
- natural language