Towards World Identification in Description Logics

DOI10.21146/2074-1472-2022-28-2-115-134OpenAlexW3109120909MaRDI QIDQ5882770

Farshad Badie

Publication date: 17 March 2023

Published in: Logical Investigations (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21146/2074-1472-2022-28-2-115-134

zbMATH Keywords

description logicconceptindividualnominalhybridised world descriptionworld descriptionworld identification

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Arthur Prior and `now'
• Reichenbach, Prior and hybrid tense logic
• Nominal tense logic
• Arthur Prior and hybrid logic
• A survey of temporal extensions of description logics
• From concepts to predicates within constructivist epistemology
• Hybrid languages
• Hybrid Logics and Ontology Languages
• A Cookbook for Temporal Conceptual Data Modelling with Description Logics
• An Introduction to Description Logic
• Practical reasoning for very expressive description logics
• Description Logics in Multimedia Reasoning
• Metric Temporal Description Logics with Interval-Rigid Names
• The Description Logic Handbook

This page was built for publication: Towards World Identification in Description Logics