scientific article; zbMATH DE number 1405450
From MaRDI portal
Publication:4938424
zbMath0947.68134MaRDI QIDQ4938424
Ulrike Sattler, Ian Horrocks, Stephan Tobies
Publication date: 26 October 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25)
Related Items (31)
Probabilistic description logic programs under inheritance with overriding for the semantic Web ⋮ Conceptual logic programs ⋮ Expressive probabilistic description logics ⋮ Combining answer set programming with description logics for the semantic web ⋮ A tableau algorithm for description logics with concrete domains and general TBoxes ⋮ Open answer set programming for the semantic web ⋮ Document models ⋮ \(\mathcal{ALCQPI}_{R^+}\): rational grading in an expressive description logic with inverse and transitive roles and counting ⋮ The Complexity of Conjunctive Query Answering in Expressive Description Logics ⋮ Reasoning on UML class diagrams ⋮ Optimizing terminological reasoning for expressive description logics ⋮ A tableau decision procedure for \(\mathcal{SHOIQ}\) ⋮ On reasoning about structural equality in XML: a description logic approach ⋮ Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN ⋮ Fuzzy extensions of OWL: logical properties and reduction to fuzzy description logics ⋮ Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings ⋮ Locally simple models construction: methodology and practice ⋮ Probabilistic description logic programs ⋮ Flexible software architectures for ontology-based information systems ⋮ Package-Based Description Logics ⋮ Realizing Default Logic over Description Logic Knowledge Bases ⋮ Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web ⋮ Description Logics ⋮ A Tableau Decision Procedure for <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">ALC</mml:mi></mml:math> With Monotonic Modal Operators and Constant Domains ⋮ Exploiting conjunctive queries in description logic programs ⋮ Reasoning within expressive fuzzy rough description logics ⋮ Hybrid Logics and Ontology Languages ⋮ Absorption for ABoxes ⋮ The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies ⋮ \({\mathcal E}\)-connections of abstract description systems ⋮ Decidability of SHIQ with complex role inclusion axioms
This page was built for publication:
