Pages that link to "Item:Q749235"
From MaRDI portal
The following pages link to Attributive concept descriptions with complements (Q749235):
Displayed 39 items.
- On reasoning about structural equality in XML: a description logic approach (Q555777) (← links)
- Combining interval-based temporal reasoning with general TBoxes (Q814545) (← links)
- Decidability of SHIQ with complex role inclusion axioms (Q814639) (← 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)
- Automata can show PSpace results for description logics (Q948069) (← links)
- A refined architecture for terminological systems: Terminology = Schema + Views (Q1128645) (← links)
- An epistemic operator for description logics (Q1128772) (← links)
- Natural language syntax and first-order inference (Q1193491) (← links)
- Subsumption computed algebraically (Q1202639) (← links)
- Combining Horn rules and description logics in CARIN (Q1274681) (← links)
- On the expressivity of feature logics with negation, functional uncertainty, and sort equations (Q1314281) (← links)
- An empirical analysis of terminological representation systems (Q1332849) (← links)
- Peirce algebras (Q1333408) (← links)
- The complexity of concept languages (Q1363785) (← links)
- Consistency checking reduced to satisfiability of concepts in terminological systems (Q1380407) (← links)
- A polynomial space construction of tree-like models for logics with local chains of modal connectives (Q1399966) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- Tarskian set constraints (Q1854523) (← links)
- Tractable reasoning via approximation (Q1855213) (← links)
- Resolution for label-based formulas in hierarchical representation (Q1882550) (← links)
- CoLab: A hybrid knowledge representation and compilation laboratory (Q1897397) (← links)
- The F-logic approach for description languages (Q1924824) (← links)
- Computing the least common subsumer w.r.t. a background terminology (Q2372193) (← links)
- Making fuzzy description logic more general (Q2386237) (← links)
- Reasoning on UML class diagrams (Q2457652) (← links)
- Optimizing terminological reasoning for expressive description logics (Q2462645) (← links)
- Description logics with contraries, contradictories, and subcontraries (Q2478592) (← links)
- The complexity of finite model reasoning in description logics (Q2486582) (← links)
- A hybrid reasoning system for terminologies and first-order clauses in knowledge bases (Q2493276) (← links)
- Decidable fragments of first-order modal logics (Q2758067) (← links)
- Automata-Based Axiom Pinpointing (Q3541704) (← links)
- Foundations of Onto-Relational Learning (Q3543274) (← links)
- Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm (Q3605534) (← links)
- An empirical analysis of modal theorem provers (Q4443417) (← links)
- A multi-dimensional terminological knowledge representation language (Q4868227) (← links)
- DESCRIPTION LOGICS OVER LATTICES (Q5291327) (← links)
- A Fine-Grained Approach to Resolving Unsatisfiable Ontologies (Q5445719) (← links)
- Unification of concept terms in description logics (Q5929707) (← links)