Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification.
Clemens DubslaffPatrick KoopmannAnni-Yasmin TurhanPublished in: Description Logics (2020)
Keyphrases
- semantic information
- ontological framework
- sound and complete with respect
- intended meaning
- owl ontologies
- semantic representation
- semantic relationships
- semantic web
- owl dl
- semantic descriptions
- domain ontology
- model checking
- domain knowledge
- ontological concepts
- conceptual graphs
- valued semantics
- domain specific
- logic programming
- semantically heterogeneous
- knowledge representation
- conceptual structures
- reasoning services
- semantic mapping
- semantically enhanced
- concurrent systems
- semantic network
- ontology matching
- conceptual model
- rule language
- reasoning mechanism
- epistemic logic
- wordnet
- description logics
- possibilistic logic
- semantic annotation
- knowledge base