scientific article; zbMATH DE number 1149405
From MaRDI portal
Publication:4386924
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 tableau calculus for a nonmonotonic extension of \(\mathcal{EL}^\bot\)
- 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
- scientific article; zbMATH DE number 4045246 (Why is no real title available?)
- On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions
- A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic
- Description Logics
- 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}\)
- EXPtime tableaux for ALC
- A Fine-Grained Approach to Resolving Unsatisfiable Ontologies
- 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
- scientific article; zbMATH DE number 1405451 (Why is no real title available?)
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
- PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\)
- An epistemic operator for description logics
- Preprocessing of intractable problems
- Towards contingent world descriptions in description logics
- scientific article; zbMATH DE number 847979 (Why is no real title available?)
- 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
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)
