Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Abstract).
Alessandro ArtaleAndrea MazzulloPublished in: Description Logics (2023)
Keyphrases
- extended abstract
- description logics
- reasoning tasks
- knowledge base
- knowledge representation
- temporal information
- computing least common subsumers
- computational properties
- concept descriptions
- dl lite
- knowledge representation systems
- knowledge representation formalisms
- modal operators
- semantic web
- temporal constraints
- owl ontologies
- ontology languages
- knowledge representation languages
- terminological knowledge
- dl programs
- ontology based data access
- fuzzy description logics
- model theoretic
- computational complexity
- reasoning services
- data types
- database systems
- artificial intelligence
- machine learning