Reasoning in basic description logics and description logics with modal operators

zbMATH Open1224.68158MaRDI QIDQ3069418FDOQ3069418

Authors: Milenko Mosurovic, Tatjana Stojanović, Ana Kaplarević-Mališić 

Publication date: 25 January 2011

Recommendations

• Reasoning in Description Logics: Basics, Extensions, and Relatives
• Temporalizing description logics
• Publication:4939661
• Complexity of branching temporal description logics
• LTL over description logic axioms

zbMATH Keywords

complexitydescription logictemporal logic

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27) Temporal logic (03B44)

Cited In (17)

• Embedding-based approaches to paraconsistent and temporal description logics
• DL-Lite with temporalised concepts, rigid axioms and roles
• LTL over description logic axioms
• Title not available (Why is that?)
• \(\mathcal {BCDL}\): Basic constructive description logic
• Disjunction in modal description logics
• A model of modal description logic
• A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case
• Complexity of branching temporal description logics
• A Correspondence between Temporal Description Logics
• A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic
• Title not available (Why is that?)
• Sequential description logic
• Title not available (Why is that?)
• Towards contingent world descriptions in description logics
• A Modal Supervaluation Description Logic for Characterization of Vague Concepts: its semantics and a tableau algorithm for it
• A parallel deduction for description logics with \(\mathcal{ALC}\) language

This page was built for publication: Reasoning in basic description logics and description logics with modal operators

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