Pages that link to "Item:Q749235"
From MaRDI portal
The following pages link to Attributive concept descriptions with complements (Q749235):
Displaying 41 items.
- Reasoning within intuitionistic fuzzy rough description logics (Q2390356) (← links)
- A family of dynamic description logics for representing and reasoning about actions (Q2392414) (← links)
- A logical framework for privacy-preserving social network publication (Q2447175) (← 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)
- Planning from second principles (Q2676578) (← links)
- Decidable fragments of first-order modal logics (Q2758067) (← links)
- A Conceptual Framework for Secrecy-preserving Reasoning in Knowledge Bases (Q2946749) (← links)
- Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics (Q2964452) (← links)
- Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics (Q3010369) (← links)
- Generalized Satisfiability for the Description Logic $\mathcal{ALC}$ (Q3010434) (← links)
- Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic (Q3016275) (← links)
- Normative Systems Represented as Hybrid Knowledge Bases (Q3092311) (← links)
- Extending description logics with uncertainty reasoning in possibilistic logic (Q3168949) (← links)
- Automata-Based Axiom Pinpointing (Q3541704) (← links)
- Foundations of Onto-Relational Learning (Q3543274) (← links)
- Inductive Logic Programming in Databases: From <scp>Datalog</scp> to (Q3577712) (← links)
- Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm (Q3605534) (← links)
- Extracting Modules from Ontologies: A Logic-Based Approach (Q3631357) (← links)
- Description Logics (Q3638996) (← links)
- Ontologies and Databases: The DL-Lite Approach (Q3639004) (← links)
- Adding clauses to poor man's logic (without increasing the complexity) (Q3647233) (← links)
- Second-order reasoning in description logics (Q3647253) (← links)
- Runtime Verification Using a Temporal Description Logic (Q3655197) (← links)
- An empirical analysis of modal theorem provers (Q4443417) (← links)
- A sequent calculus for reasoning in four-valued Description Logics (Q4610338) (← links)
- SPASS & FLOTTER version 0.42 (Q4647508) (← links)
- Building decision procedures for modal logics from propositional decision procedures — The case study of modal K (Q4647549) (← links)
- A multi-dimensional terminological knowledge representation language (Q4868227) (← links)
- Towards Contingent World Descriptions in Description Logics (Q5006820) (← links)
- The Syntax of Many-Valued Relations (Q5117199) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- Probabilistic Reasoning in the Description Logic $$\mathcal {ALCP}$$ with the Principle of Maximum Entropy (Q5268422) (← 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)
- The Probabilistic Description Logic (Q6063856) (← links)
- Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures (Q6152660) (← links)
