An epistemic operator for description logics
From MaRDI portal
Recommendations
Cites work
- A logic of knowledge and justified assumption
- A refined architecture for terminological systems: Terminology = Schema + Views
- An epistemic operator for description logics
- Attributive concept descriptions with complements
- Deduction in Concept Languages: from Subsumption to Instance Checking
- Foundations of a functional approach to knowledge representation
- Ground Nonmonotonic Modal Logics
- scientific article; zbMATH DE number 3930375 (Why is no real title available?)
- scientific article; zbMATH DE number 3986613 (Why is no real title available?)
- scientific article; zbMATH DE number 7817 (Why is no real title available?)
- scientific article; zbMATH DE number 67502 (Why is no real title available?)
- scientific article; zbMATH DE number 1348742 (Why is no real title available?)
- scientific article; zbMATH DE number 1149405 (Why is no real title available?)
- Logic and structure.
- Minimal belief and negation as failure
- On intuitionistic query answering in description bases
- On the relative expressiveness of description logics and predicate logics
- Reasoning and revision in hybrid representation systems
- Terminological reasoning is inherently intractable
- The complexity of concept languages
- The KL-ONE family
- The Taming of the Cut. Classical Refutations with Analytic Cut
Cited in
(24)- Flexible software architectures for ontology-based information systems
- A refined architecture for terminological systems: Terminology = Schema + Views
- An epistemic operator for description logics
- Prototypes in a hybrid language with primitive descriptions
- Understanding dynamic scenes
- Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
- ``Reducing classic to practice: Knowledge representation theory meets reality
- A PSpace algorithm for acyclic epistemic DL \(\mathcal{ALCS}5_m\)
- Integrity constraints in OWL ontologies based on grounded circumscription
- Reasoning on UML class diagrams
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family
- A hybrid reasoning system for terminologies and first-order clauses in knowledge bases
- Data repair of inconsistent nonmonotonic description logic programs
- PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\)
- Realizing Default Logic over Description Logic Knowledge Bases
- scientific article; zbMATH DE number 847978 (Why is no real title available?)
- scientific article; zbMATH DE number 847980 (Why is no real title available?)
- Towards contingent world descriptions in description logics
- On intuitionistic query answering in description bases
- Embedding ontologies in the description logic \(\mathcal{ALC}\) by axis-aligned cones
- Conceptual logic programs
- Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
- General default logic
This page was built for publication: An epistemic operator for description logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1128772)
