An epistemic operator for description logics

DOI10.1016/S0004-3702(98)00009-5zbMath0906.68144WikidataQ58006974 ScholiaQ58006974MaRDI QIDQ1128772

Werner Nutt, Francesco M. Donini, Andrea Schaerf, Daniele Nardi, Maurizio Lenzerini

Publication date: 13 August 1998

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

knowledge representationnonmonotonic reasoningquery languagesdescription logicsclosed-world reasoningepistemic operators

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (20)

Data repair of inconsistent nonmonotonic description logic programs ⋮ Conceptual logic programs ⋮ PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) ⋮ A refined architecture for terminological systems: Terminology = Schema + Views ⋮ An epistemic operator for description logics ⋮ Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design ⋮ Integrity constraints in OWL ontologies based on grounded circumscription ⋮ Reasoning on UML class diagrams ⋮ ``Reducing classic to practice: Knowledge representation theory meets reality ⋮ Tractable reasoning and efficient query answering in description logics: The DL-Lite family ⋮ Prototypes in a hybrid language with primitive descriptions ⋮ A hybrid reasoning system for terminologies and first-order clauses in knowledge bases ⋮ Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN ⋮ General default logic ⋮ Flexible software architectures for ontology-based information systems ⋮ On intuitionistic query answering in description bases ⋮ Realizing Default Logic over Description Logic Knowledge Bases ⋮ A PSpace algorithm for acyclic epistemic DL \(\mathcal{ALCS}5_m\) ⋮ Towards Contingent World Descriptions in Description Logics ⋮ Understanding dynamic scenes

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Attributive concept descriptions with complements
• Foundations of a functional approach to knowledge representation
• A refined architecture for terminological systems: Terminology = Schema + Views
• An epistemic operator for description logics
• Reasoning and revision in hybrid representation systems
• A logic of knowledge and justified assumption
• The KL-ONE family
• Minimal belief and negation as failure
• The complexity of concept languages
• Terminological reasoning is inherently intractable
• On the relative expressiveness of description logics and predicate logics
• The Taming of the Cut. Classical Refutations with Analytic Cut
• Deduction in Concept Languages: from Subsumption to Instance Checking
• Ground Nonmonotonic Modal Logics
• On intuitionistic query answering in description bases
• Logic and structure.

This page was built for publication: An epistemic operator for description logics