The following pages link to (Q4938424):
Displaying 41 items.
- On reasoning about structural equality in XML: a description logic approach (Q555777) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- Decidability of SHIQ with complex role inclusion axioms (Q814639) (← links)
- Conceptual logic programs (Q854977) (← links)
- A tableau algorithm for description logics with concrete domains and general TBoxes (Q877890) (← links)
- Open answer set programming for the semantic web (Q881833) (← links)
- Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN (Q983197) (← links)
- Fuzzy extensions of OWL: logical properties and reduction to fuzzy description logics (Q990981) (← links)
- Probabilistic description logic programs (Q997050) (← links)
- Flexible software architectures for ontology-based information systems (Q1006736) (← links)
- Exploiting conjunctive queries in description logic programs (Q1028641) (← links)
- Reasoning within expressive fuzzy rough description logics (Q1043323) (← links)
- Document models (Q1709112) (← links)
- Locally simple models construction: methodology and practice (Q1789739) (← links)
- \(\mathcal{ALCQPI}_{R^+}\): rational grading in an expressive description logic with inverse and transitive roles and counting (Q2211383) (← links)
- Rational closure for all description logics (Q2321316) (← links)
- Absorption for ABoxes (Q2351418) (← links)
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies (Q2352492) (← links)
- Probabilistic description logic programs under inheritance with overriding for the semantic Web (Q2379312) (← links)
- Expressive probabilistic description logics (Q2389639) (← links)
- Combining answer set programming with description logics for the semantic web (Q2389666) (← links)
- Reasoning on UML class diagrams (Q2457652) (← links)
- Optimizing terminological reasoning for expressive description logics (Q2462645) (← links)
- A tableau decision procedure for \(\mathcal{SHOIQ}\) (Q2462647) (← links)
- Hybrid logics and ontology languages (Q2867944) (← links)
- The Complexity of Conjunctive Query Answering in Expressive Description Logics (Q3541701) (← links)
- Package-Based Description Logics (Q3631366) (← links)
- Realizing Default Logic over Description Logic Knowledge Bases (Q3638182) (← links)
- Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web (Q3638227) (← links)
- Description Logics (Q3638996) (← links)
- Practical reasoning for very expressive description logics (Q4487262) (← links)
- (Q4539598) (← links)
- (Q4576215) (← links)
- A Decidable Constructive Description Logic (Q4930754) (← links)
- 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 (Q4982117) (← links)
- Reasoning about Multiple Aspects in Rational Closure for DLs (Q5215373) (← links)
- Rough Pragmatic Description Logic (Q5245313) (← links)
- Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings (Q5445301) (← links)
- Foundations of Information and Knowledge Systems (Q5898545) (← links)
- Non-classical logics in satisfiability modulo theories (Q6541143) (← links)
- Reasoning with ontologies (Q6602220) (← links)
