Towards World Identification in Description Logics

DOI10.21146/2074-1472-2022-28-2-115-134MaRDI QIDQ5882770zbMATH OpenOpenAlexFDO

Authors 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

conceptdescription logichybridised world descriptionindividualnominalworld descriptionworld identification

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Towards contingent world descriptions in description logics
• scientific article; zbMATH DE number 1989644
• Hybrid logics and ontology languages
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• scientific article; zbMATH DE number 2243392

Cites work

• A Cookbook for Temporal Conceptual Data Modelling with Description Logics
• A survey of temporal extensions of description logics
• An introduction to description logic
• Arthur Prior and `now'
• Arthur Prior and hybrid logic
• Description logics in multimedia reasoning
• From concepts to predicates within constructivist epistemology
• scientific article; zbMATH DE number 1448975 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• scientific article; zbMATH DE number 2243392 (Why is no real title available?)
• Hybrid languages
• Hybrid logics and ontology languages
• Indexical hybrid tense logic
• Metric temporal description logics with interval-rigid names
• Nominal tense logic
• Practical reasoning for very expressive description logics
• Reichenbach, Prior and hybrid tense logic
• The Description Logic Handbook

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5882770)