Extending the description logic EL with threshold concepts induced by concept measures.
Franz BaaderOliver Fernández GilPublished in: Artif. Intell. (2024)
Keyphrases
- description logics
- number restrictions
- concept descriptions
- knowledge base
- transitive closure of roles
- dl lite
- knowledge representation
- formal logic
- computational properties
- reasoning tasks
- semantic web
- description logic alc
- formal ontologies
- semantic mapping
- reasoning systems
- ontology languages
- snomed ct
- reasoning problems
- logical implication
- model theoretic
- dl programs
- owl dl
- description logic programs
- computing least common subsumers
- terminological knowledge