Paraconsistent Semantics for Description Logics: A Comparison.
Norihiro KamidePublished in: KES (1) (2011)
Keyphrases
- description logics
- reasoning tasks
- model theoretic
- logic programming
- reasoning services
- knowledge base
- knowledge representation and reasoning
- owl dl
- computational properties
- fuzzy description logics
- knowledge representation
- reasoning mechanism
- highly expressive
- owl ontologies
- knowledge representation formalisms
- knowledge representation languages
- dl lite
- ontology languages
- logic programs
- formal semantics
- concept descriptions
- computing least common subsumers
- dl programs
- semantic matchmaking
- reasoning problems
- semantic web
- operational semantics
- number restrictions
- answer set programming
- nonmonotonic logics
- description logic programs
- automated reasoning
- uml class diagrams
- modal operators
- representation language
- semantic information
- data model
- xml documents
- decision procedures
- transitive closure of roles
- machine learning