An Update on Non-Rigid Designators in Modalised Description Logics (Extended Abstract).
Alessandro ArtaleRoman KontchakovAndrea MazzulloFrank WolterPublished in: Description Logics (2024)
Keyphrases
- extended abstract
- description logics
- knowledge representation
- computational properties
- knowledge base
- reasoning tasks
- semantic web
- knowledge representation and reasoning
- computing least common subsumers
- knowledge representation systems
- fuzzy description logics
- dl lite
- model theoretic
- reasoning systems
- knowledge representation formalisms
- reasoning problems
- machine learning
- ontology languages
- representation language
- integrity constraints
- special case
- number restrictions
- artificial intelligence