Qualifying Number Restrictions in Concept Languages

No abstract is available for this paper.

• Publication year

  1991

• Venue

  International Conference on Principles of Knowledge Representation and Reasoning

• Publication date

  1991-04-22

• Fields of study

  Computer Science

• Identifiers
  DOI 10.22028/D291-24787
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• No references are available for this paper.

• Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)

  2025cites this paper
• The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models

  2025cites this paper
• Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count (Extended Abstract)

  2025cites this paper
• Are Targeted Messages More Effective?

  2024cites this paper
• Completeness, Recall, and Negation in Open-world Knowledge Bases: A Survey

  2023cites this paper
• Reasoning in Description Logic Ontologies for Privacy Management

  2020cites this paper
• Beyond Aggregations: Understanding Count Information for Question Answering

  2020cites this paper
• Description Logics That Count, and What They Can and Cannot Count (Extended Abstract)

  2020cites this paper
• Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)

  2020cites this paper
• Uncovering Hidden Semantics of Set Information in Knowledge Bases

  2020cites this paper
• Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints

  2020influential citation
• From Tableaux to Automata for Des ription Logi s

  2019cites this paper
• A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction

  2019cites this paper
• NExpTime-omplete Des ription Logi s with Con rete Domains

  2019cites this paper
• A PSpace-algorithm for ALCQI-satis(cid:12)ability

  2019influential citation
• On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets

  2019cites this paper
• Description Logics with Concrete Domains and Functional Dependencies by Maja Miličić

  2019cites this paper
• Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints

  2019cites this paper
• On the Complexity and Expressiveness of Description Logics with Counting

  2019cites this paper
• Expressive cardinality constraints on ALCSCC concepts

  2019influential citation
• Expressive cardinality restrictions on concepts in a description logic with expressive number restrictions

  2019cites this paper
• Graded modalities in Strategy Logic

  2018cites this paper
• Strategic Reasoning in Game Theory

  2018cites this paper
• Verifying Graph Transformations with Guarded Logics

  2018cites this paper
• Number Restrictions on Transitive Roles in Description Logics with Nominals

  2017influential citation
• On Query Answering in Description Logics with Number Restrictions on Transitive Roles

  2017cites this paper
• Preliminary Results on the Identity Problem in Description Logic Ontologies

  2017cites this paper
• Um Método Para Transcrição de Termos Biomédicos e um Protótipo de Ferramenta Didática para Ensino de Lógica em Ontologia Aplicada

  2017cites this paper
• Pushing the Boundaries of Reasoning About Qualified Cardinality Restrictions

  2017cites this paper
• A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors

  2017cites this paper
• Concept Descriptions with Set Constraints and Cardinality Constraints

  2017cites this paper
• Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts

  2017cites this paper
• The Identity Problem in Description Logic Ontologies and Its Application to View-Based Information Hiding

  2017cites this paper
• Managing the empirical hardness of the ontology reasoning using the predictive modelling

  2016cites this paper
• Coding, Executing and Verifying Graph Transformations with small-tALCQe

  2016cites this paper
• A Saturation-based Algebraic Reasoner for ELQ

  2016cites this paper
• Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria

  2016cites this paper
• Semantic characterization of rational closure: From propositional logic to description logics

  2015cites this paper
• Exploration of variations of unrestricted blocking for description logics

  2015cites this paper
• On Games in Formal Verification

  2015cites this paper
• NON-DETERMINISM REDUCING METHOD FOR OWL SHOIN CONCEPT CONSISTENCY CHECKING

  2015cites this paper
• On the Model Checking of the Graded μ-calculus on Trees

  2015cites this paper
• On the Counting of Strategies

  2015cites this paper
• Graded Modalities in Strategic Reasoning Italian) 2 Graded Modalities in Formal Verification 3 Graded Strategy Games Determinacy and Fulfilling

  2014cites this paper
• KB_Bio_101 : A Challenge for OWL Reasoners

  2013cites this paper
• International Handbooks on Information Systems

  2013cites this paper
• Beyond Regularity for Presburger Modal Logic

  2012cites this paper
• A hybrid ABox calculus using algebraic reasoning for the Description Logic SHIQ

  2012cites this paper
• Model-theoretic characterisations of description logics

  2012cites this paper
• The RacerPro knowledge representation and reasoning system

  2012cites this paper
• Automated Reasoning on TBoxes with Qualified Number Restrictions via SMT

  2011influential citation
• Automated reasoning on trees with cardinality constraints

  2011cites this paper
• Reasoning Algebraically with Description Logics

  2011cites this paper
• Fusions of Description Logics and Abstract Description Systems

  2011cites this paper
• Automated Reasoning in ALCQ\mathcal{ALCQ} via SMT

  2011cites this paper
• WARSAW UNIVERSITY OF TECHNOLOGY Faculty of Electronics and Information Technology

  2011cites this paper
• Exploiting SAT and SMT Techniques for Automated Reasoning and Ontology Manipulation in Description Logics

  2011cites this paper
• Complexity of modal logics with Presburger constraints

  2010cites this paper
• Translation of relational queries into Description Logic for semantic cache query processing

  2010cites this paper
• Graded Alternating-Time Temporal Logic

  2010cites this paper
• Terminating Tableaux for SOQ\mathcal{SOQ} with Number Restrictions on Transitive Roles

  2010cites this paper
• The RacerPro knowledge representation and reasoning system 1

  2010cites this paper
• Algebraic tableau reasoning for the description logic SHOQ

  2010cites this paper
• Small is Again Beautiful in Description Logics

  2010cites this paper
• Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic 𝒮ℋ𝒬

  2010cites this paper
• Zhi# - programming language inherent support for ontologies

  2009cites this paper
• Description Logics

  2009cites this paper
• Decidability of Class Based Knowledge Representation Formalisms

  2009cites this paper
• A Solution for the Man-Man Problem in the Family History Knowledge Base

  2009cites this paper
• Tableau-Based Reasoning

  2009cites this paper
• Model Checking for Graded CTL

  2009cites this paper
• Optimizing Reasoning with Qualified Number Restrictions in SHQ

  2009cites this paper
• A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics

  2009cites this paper
• Practical Reasoning in Expressive Description Logics Using Alternating Automata

  2009cites this paper
• Counting in Trees along Multidirectional Regular Paths

  2009influential citation
• Graded-CTL: Satisfiability and Symbolic Model Checking

  2009cites this paper
• Algebraic Tableau Algorithm for ALCOQ

  2009cites this paper
• Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles

  2009cites this paper
• A DL-Based Approach to Integrate Relational Data Sources into the Semantic Web. (Une approche basée sur la logique de description pour l'intégration de données relationnelles dans le web sémantique)

  2008cites this paper
• Formal Concept Analysis Methods for Description Logics

  2008cites this paper
• Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse

  2008cites this paper
• Hybrid Reasoning for Description Logics with Nominals and Qualified Number Restrictions

  2008cites this paper
• Reasoning with qualified cardinality restrictions in fuzzy Description Logics

  2008cites this paper
• CTLModel-Checking with Graded Quantifiers

  2008cites this paper
• A Hybrid Tableau Algorithm for ALCQ

  2008cites this paper
• Combining integer programming and tableau-based reasoning : a hybrid calculus for the description logic SHQ

  2008cites this paper
• To and Fro Between Tableaus and Automata for Description Logics

  2008cites this paper
• To and fro between tableaus and automata for description logics

  2007cites this paper
• Computational modal logic

  2007cites this paper
• Axiom Pinpointing in General Tableaux

  2007cites this paper
• A Tableau Decision Procedure for $\mathcal{SHOIQ}$

  2007cites this paper
• Semantic tuple space coordination for the semantic web with applications in life science

  2007cites this paper
• Description logic

  2007cites this paper
• Linear-time Temporal Logics with Presburger Constraints : an Overview 1

  2007cites this paper
• A Semantic Similarity Measure for Formal Ontologies

  2006cites this paper
• D2.1 Methodology for Semantics Extraction from Multimedia Content

  2006cites this paper
• A semantic web approach to biological pathway data reasoning and integration

  2006cites this paper
• Linear-time temporal logics with Presburger constraints: an overview ★

  2006cites this paper
• Debugging and Repair of OWL Ontologies

  2006cites this paper
• About the Family of Closure Systems Preserving Non-unit Implications in the Guigues-Duquenne Base

  2006cites this paper