On Query Answering in Description Logics with Number Restrictions on Transitive Roles

No abstract is available for this paper.

• Publication year

  2017

• Venue

  Description Logics

• Publication date

  Unknown publication date

• Fields of study

  Mathematics, Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Number Restrictions on Transitive Roles in Description Logics with Nominals

  2017influential reference
• A Step Up in Expressiveness of Decidable Fixpoint Logics

  2016cited by this paper
• Query Answering with Transitive and Linear-Ordered Data

  2016cited by this paper
• Combining Existential Rules and Transitivity: Next Steps

  2015cited by this paper
• The two‐variable fragment with counting and equivalence

  2015cited by this paper
• Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms

  2015cited by this paper
• Answering regular path queries in expressive Description Logics via alternating tree-automata

  2014influential reference
• Querying the Guarded Fragment with Transitivity

  2013cited by this paper
• Fusions of Description Logics and Abstract Description Systems

  2011cited by this paper
• Query Answering in the Description Logic S

  2010cited by this paper
• Query Answering in Description Logics with Transitive Roles

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

  2009cited by this paper
• Regular Path Queries in Expressive Description Logics with Nominals

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

  2009cited by this paper
• Unions of Conjunctive Queries in SHOQ

  2008cited by this paper
• How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics

  2008cited by this paper
• Conjunctive Query Answering for the Description Logic SHIQ

  2007cited by this paper
• How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited

  2007cited by this paper
• Using OWL to model biological knowledge

  2007cited by this paper
• Ontological and Practical Issues in Using a Description Logic to Represent Medical Concept Systems: Experience from GALEN

  2006cited by this paper
• Counting in the Two Variable Guarded Logic with Transitivity

  2005cited by this paper
• A Little Semantic Web Goes a Long Way in Biology

  2005cited by this paper
• The Description Logic Handbook: Theory, Implementation, and Applications

  2003cited by this paper
• Practical Reasoning for Very Expressive Description Logics

  2000cited by this paper
• Guarded fixed point logic

  1999cited by this paper
• Reasoning about The Past with Two-Way Automata

  1998cited by this paper
• Qualifying Number Restrictions in Concept Languages

  1991cited by this paper

• Answering Regular Path Queries over SQ Ontologies

  2018cites this paper