Attributive concept descriptions with complements
From MaRDI portal
DOI10.1016/0004-3702(91)90078-XzbMATH Open0712.68095MaRDI QIDQ749235FDOQ749235
Authors: Gert Smolka, Manfred Schmidt-Schauß 
Publication date: 1991
Published in: Artificial Intelligence (Search for Journal in Brave)
Recommendations
Analysis of algorithms and problem complexity (68Q25) Knowledge representation (68T30) Artificial intelligence (68T99)
Cites Work
- Title not available (Why is that?)
- Terminological reasoning is inherently intractable
- The complexity of existential quantification in concept languages.
- Feature-constraint logics for unification grammars
- Reasoning and revision in hybrid representation systems
- An algebraic semantics approach to the effective resolution of type equations
- Title not available (Why is that?)
- Login: a logic programming language with built-in inheritance
- Computational complexity of terminological reasoning in BACK
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (95)
- Generalized satisfiability for the description logic \(\mathcal{ALC}\)
- Unification of concept terms in description logics
- Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics
- \(\mathcal {BCDL}\): Basic constructive description logic
- On the expressivity of feature logics with negation, functional uncertainty, and sort equations
- Generalized modal satisfiability
- The complexity of existential quantification in concept languages.
- Making fuzzy description logic more general
- Reasoning within intuitionistic fuzzy rough description logics
- Fuzzy terms
- Description Logics
- On reasoning about structural equality in XML: a description logic approach
- The complexity of concept languages
- Decidable fragments of first-order modal logics
- Reasoning on UML class diagrams
- Extracting Modules from Ontologies: A Logic-Based Approach
- Combining interval-based temporal reasoning with general TBoxes
- Decidability of SHIQ with complex role inclusion axioms
- An empirical analysis of terminological representation systems
- A tableau algorithm for description logics with concrete domains and general TBoxes
- Extending soft sets with description logics
- Tarskian set constraints
- Combining Horn rules and description logics in CARIN
- Title not available (Why is that?)
- DESCRIPTION LOGICS OVER LATTICES
- A Fine-Grained Approach to Resolving Unsatisfiable Ontologies
- EXPtime tableaux for ALC
- Generalized fuzzy rough description logics
- Building decision procedures for modal logics from propositional decision procedures — The case study of modal K
- A description logic based situation calculus
- Tractable reasoning via approximation
- SPASS & FLOTTER version 0.42
- An empirical analysis of modal theorem provers
- A formal framework for description logics with uncertainty
- Reasoning with rough description logics: An approximate concepts approach
- Reasoning within expressive fuzzy rough description logics
- Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited
- Correctness and worst-case optimality of Pratt-style decision procedures for modal and hybrid logics
- A multi-dimensional terminological knowledge representation language
- Automata-based axiom pinpointing
- Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
- Fuzzy description logics under Gödel semantics
- Optimizing terminological reasoning for expressive description logics
- Ontologies and Databases: The DL-Lite Approach
- The complexity of finite model reasoning in description logics
- A sequent calculus for reasoning in four-valued Description Logics
- Peirce algebras
- An epistemic operator for description logics
- Type-2 fuzzy description logic
- PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\)
- Semantic decision making using ontology-based soft sets
- On the failure of the finite model property in some fuzzy description logics
- Consistency checking reduced to satisfiability of concepts in terminological systems
- Natural language syntax and first-order inference
- Automata-Based Axiom Pinpointing
- Open answer set programming for the semantic web
- Runtime verification using a temporal description logic
- Normative systems represented as hybrid knowledge bases
- Automata can show PSpace results for description logics
- Subsumption computed algebraically
- Fuzzy description logics with general t-norms and datatypes
- Semantic operations of multiple soft sets under conflict
- A refined architecture for terminological systems: Terminology = Schema + Views
- \(\mathcal{ALCQPI}_{R^+}\): rational grading in an expressive description logic with inverse and transitive roles and counting
- A PSpace algorithm for acyclic epistemic DL \(\mathcal{ALCS}5_m\)
- Probabilistic Reasoning in the Description Logic $$\mathcal {ALCP}$$ with the Principle of Maximum Entropy
- Extending description logics with uncertainty reasoning in possibilistic logic
- The Probabilistic Description Logic
- A polynomial space construction of tree-like models for logics with local chains of modal connectives
- Second-order reasoning in description logics
- Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures
- CoLab: A hybrid knowledge representation and compilation laboratory
- Experimental analysis of some computation rules in a simple parallel reasoning system for the \(\mathcal{ALC}\) description logic
- On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS
- Resolution for label-based formulas in hierarchical representation
- Adding clauses to poor man's logic (without increasing the complexity)
- Reducing one class of machine learning algorithms to logical operations of plausible reasoning
- A Conceptual Framework for Secrecy-preserving Reasoning in Knowledge Bases
- A logical framework for privacy-preserving social network publication
- Inductive logic programming in databases: from Datalog to \(\mathcal {DL} + \text{LOG}^{\neg \vee}\)
- Towards Contingent World Descriptions in Description Logics
- Generalized satisfiability for the description logic \(\mathcal{ALC}\) (extended abstract)
- Description logics with contraries, contradictories, and subcontraries
- The F-logic approach for description languages
- The Syntax of Many-Valued Relations
- A hybrid reasoning system for terminologies and first-order clauses in knowledge bases
- Foundations of Onto-Relational Learning
- Computing the least common subsumer w.r.t. a background terminology
- Planning from second principles
- A family of dynamic description logics for representing and reasoning about actions
- Embedding ontologies in the description logic \(\mathcal{ALC}\) by axis-aligned cones
- Classical algorithms for reasoning and explanation in description logics
- Merge, explain, iterate: a combination of MHS and MXP in an ABox abduction solver
- Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm
This page was built for publication: Attributive concept descriptions with complements
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q749235)
