A Formal Semantics for Concept Understanding Relying on Description Logics.
Farshad BadiePublished in: ICAART (2) (2017)
Keyphrases
- formal semantics
- description logics
- ontology languages
- concept descriptions
- number restrictions
- owl dl
- knowledge base
- reasoning problems
- reasoning tasks
- operational semantics
- transitive closure of roles
- semantic web
- knowledge representation
- computational properties
- model theoretic
- reasoning systems
- dl lite
- knowledge representation and reasoning
- reasoning mechanism
- data complexity
- theorem prover
- first order logic
- modeling language
- artificial intelligence
- owl ontologies
- computing least common subsumers