Pages that link to "Item:Q749235"
From MaRDI portal
The following pages link to Attributive concept descriptions with complements (Q749235):
Displaying 50 items.
- Fuzzy terms (Q277347) (← links)
- Type-2 fuzzy description logic (Q352063) (← links)
- PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) (Q352965) (← links)
- Generalized satisfiability for the description logic \(\mathcal{ALC}\) (Q393137) (← links)
- Generalized fuzzy rough description logics (Q454980) (← links)
- Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited (Q472810) (← links)
- On the failure of the finite model property in some fuzzy description logics (Q549343) (← links)
- Semantic decision making using ontology-based soft sets (Q552135) (← links)
- On reasoning about structural equality in XML: a description logic approach (Q555777) (← links)
- A description logic based situation calculus (Q604908) (← links)
- Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\) (Q632777) (← links)
- Semantic operations of multiple soft sets under conflict (Q660826) (← links)
- Automata-based axiom pinpointing (Q707741) (← 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)
- Fuzzy description logics under Gödel semantics (Q962867) (← links)
- A formal framework for description logics with uncertainty (Q962955) (← links)
- \(\mathcal {BCDL}\): Basic constructive description logic (Q972431) (← links)
- Extending soft sets with description logics (Q980132) (← links)
- Generalized modal satisfiability (Q988571) (← links)
- The complexity of existential quantification in concept languages. (Q989170) (← links)
- Reasoning with rough description logics: An approximate concepts approach (Q1010135) (← links)
- Fuzzy description logics with general t-norms and datatypes (Q1043321) (← links)
- Reasoning within expressive fuzzy rough description logics (Q1043323) (← 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)
- Reducing one class of machine learning algorithms to logical operations of plausible reasoning (Q2017512) (← links)
- \(\mathcal{ALCQPI}_{R^+}\): rational grading in an expressive description logic with inverse and transitive roles and counting (Q2211383) (← links)
- A PSpace algorithm for acyclic epistemic DL \(\mathcal{ALCS}5_m\) (Q2323444) (← links)
- On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions (Q2341257) (← links)
- Computing the least common subsumer w.r.t. a background terminology (Q2372193) (← links)
- Making fuzzy description logic more general (Q2386237) (← links)
