On Expressive Description Logics with Composition of Roles in Number Restrictions

No abstract is available for this paper.

• Publication year

  2002

• Venue

  Logic Programming and Automated Reasoning

• Publication date

  2002-10-14

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/3-540-36078-6_14
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• The Description Logic Handbook: Theory, Implementation, and Applications

  2003cited by this paper
• Description logics: foundations for class-based knowledge representation

  2002cited by this paper
• An Overview of Tableau Algorithms for Description Logics

  2001cited by this paper
• Ontology Reasoning in the SHOQ(D) Description Logic

  2001cited by this paper
• On Expressive Number Restrictions in Description Logics

  2001cited by this paper
• Complexity results and practical algorithms for logics in knowledge representation

  2001cited by this paper
• Reasoning in Expressive Description Logics

  2001cited by this paper
• A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases

  2000cited by this paper
• Temporal ER Modeling with Description Logics

  1999cited by this paper
• Representing and Reasoning on XML Documents: A Description Logic Approach

  1999cited by this paper
• Description Logics for Conceptual Data Modeling

  1998cited by this paper
• Description Logic Framework for Information Integration

  1998cited by this paper
• The Complexity of Concept Languages

  1997influential reference
• Two-variable logic with counting is decidable

  1997cited by this paper
• Complexity of two-variable logic with counting

  1997influential reference
• Describing and classifying multimedia using the description logic GRAIL

  1996cited by this paper
• TBox and ABox Reasoning in Expressive Description Logics

  1996cited by this paper
• On the Relative Expressiveness of Description Logics and Predicate Logics

  1996cited by this paper
• Knowledge Representation and Reasoning in Software Engineering

  1992cited by this paper
• Editorial: Knowledge Representation and Reasoning in Software Engineering

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

  1991cited by this paper
• Attributive Concept Descriptions with Complements

  1991cited by this paper
• Subsumption Algorithms for Concept Description Languages

  1990influential reference
• Relationships Between Nondeterministic and Deterministic Tape Complexities

  1970cited by this paper
• The undecidability of the domino problem

  1966cited by this paper

• Deciding SHACL Shape Containment through Description Logics Reasoning (Extended Version)

  2020cites this paper
• Hoare-like verification of graph transformation

  2016cites this paper
• Property composition and other constructs to support identity in OWL

  2008cites this paper
• Applying Description Logic to Product Behavioral Design within Advanced CAD Systems

  2003cites this paper
• A Tableau Algorithm for ALCN ( ◦ , t )

  2003cites this paper