scientific article; zbMATH DE number 1149405
From MaRDI portal
Publication:4386924
zbMath0900.68396MaRDI QIDQ4386924
Andrea Schaerf, Francesco M. Donini, Martin Buchheit
Publication date: 10 May 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (23)
An alternative proof method for possibilistic logic and its application to terminological logics ⋮ A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic ⋮ ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching ⋮ 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 ⋮ Cardinality restrictions on concepts ⋮ Complexity of hybrid logics over transitive frames ⋮ Reasoning on UML class diagrams ⋮ A tableau decision procedure for \(\mathcal{SHOIQ}\) ⋮ A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$ ⋮ Unification of concept terms in description logics ⋮ A Fine-Grained Approach to Resolving Unsatisfiable Ontologies ⋮ Blocking and other enhancements for bottom-up model generation methods ⋮ Description Logics ⋮ Ontologies and Databases: The DL-Lite Approach ⋮ Verification of knowledge bases based on containment checking ⋮ Combining Horn rules and description logics in CARIN ⋮ A PSpace algorithm for acyclic epistemic DL \(\mathcal{ALCS}5_m\) ⋮ Towards Contingent World Descriptions in Description Logics ⋮ EXPtime tableaux for ALC ⋮ On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions ⋮ Preprocessing of intractable problems
This page was built for publication:
