scientific article; zbMATH DE number 1149405
From MaRDI portal
Publication:4386924
zbMATH Open0900.68396MaRDI QIDQ4386924FDOQ4386924
Authors: F. M. Donini, Andrea Schaerf, Martin Buchheit 
Publication date: 10 May 1998
Title of this publication is not available (Why is that?)
Recommendations
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Optimizing terminological reasoning for expressive description logics
- A decidable first-order logic for knowledge representation
- A decidable first-order logic for knowledge representation
- Description logics in knowledge representation
- A Decidable Constructive Description Logic
- Knowledge representation and defeasible reasoning
- scientific article; zbMATH DE number 1531967
Cited In (28)
- A PSpace algorithm for acyclic epistemic DL \(\mathcal{ALCS}5_m\)
- Blocking and other enhancements for bottom-up model generation methods
- Unification of concept terms in description logics
- Title not available (Why is that?)
- On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions
- Description Logics
- A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic
- Reasoning on UML class diagrams
- Verification of knowledge bases based on containment checking
- Combining Horn rules and description logics in CARIN
- A tableau decision procedure for \(\mathcal{SHOIQ}\)
- A Fine-Grained Approach to Resolving Unsatisfiable Ontologies
- EXPtime tableaux for ALC
- An alternative proof method for possibilistic logic and its application to terminological logics
- A hybrid reasoning system for terminologies and first-order clauses in knowledge bases
- Complexity of hybrid logics over transitive frames
- Ontologies and Databases: The DL-Lite Approach
- Title not available (Why is that?)
- An epistemic operator for description logics
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
- PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\)
- Preprocessing of intractable problems
- Towards contingent world descriptions in description logics
- Title not available (Why is that?)
- A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages
- Cardinality restrictions on concepts
- A refined architecture for terminological systems: Terminology = Schema + Views
- A tableau calculus for a nonmonotonic extension of \(\mathcal{EL}^\bot\)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4386924)
