Concept Similarity under the Agent's Preferences for the Description Logic FL0 with Unfoldable TBox.
Teeradaj RacharakSatoshi TojoPublished in: ICAART (2) (2018)
Keyphrases
- description logics
- number restrictions
- concept descriptions
- reasoning mechanism
- knowledge base
- mathcal alc
- decision making
- dl lite
- reasoning tasks
- semantic mapping
- transitive closure of roles
- formal ontologies
- knowledge representation
- ontology languages
- semantic web
- computational properties
- autonomous agents
- reasoning problems
- owl dl
- owl ontologies
- model theoretic
- computational complexity
- computing least common subsumers
- logical implication
- knowledge representation languages
- snomed ct