A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases

No abstract is available for this paper.

• Publication year

  1998

• Venue

  Description Logics

• Publication date

  Unknown publication date

• Fields of study

  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.

• Description Logic Framework for Information Integration

  1998cited by this paper
• Reasoning in description logics

  1997cited by this paper
• Optimisation Techniques for Expressive Description Logics

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

  1996cited by this paper
• Eliminating “converse” from converse PDL

  1996cited by this paper
• What's in an Aggregate: Foundations for Description Logics with Tuples and Sets

  1995cited by this paper
• Structured Objects: Modeling and Reasoning

  1995cited by this paper
• Boosting the Correspondence between Description Logics and Propositional Dynamic Logics

  1994cited by this paper
• Decidable Reasoning in Terminological Knowledge Representation Systems

  1993cited by this paper
• Artificial intelligence research

  1963cited by this paper

• Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features

  2023cites this paper
• Optimisation of tableau-based reasoning systems for expressive description logics

  2016cites this paper
• Efficient classification of complex ontologies

  2015cites this paper
• Practical uniform interpolation for expressive description logics

  2015influential citation
• Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs

  2014cites this paper
• EL-ifying Ontologies

  2014cites this paper
• A Transformation Approach for Classifying ALCHI(D) Ontologies with a Consequence-based ALCH Reasoner

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

  2012cites this paper
• Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog

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

  2011cites this paper
• Beth Definability in Expressive Description Logics

  2011cites this paper
• Optimal Rewritings in Definitorially Complete Description Logics

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

  2008cites this paper
• Tableau-based reasoning for description logics with inverse roles and number restrictions

  2008cites this paper
• A New Mapping from ALCI to ALC

  2007cites this paper
• Tableau Caching for Description Logics with Inverse and Transitive Roles

  2006cites this paper
• C URRICULUM V ITAE ET S TUDIORUM

  2004cites this paper
• On Z39.50 wrapping and description logics

  2000cites this paper
• Practical Reasoning for Very Expressive Description Logics

  2000cites this paper
• Practical Reasoning for Description Logics with Functional Restrictions, Inverse and Transitive Roles, and Role Hierarchies

  1999cites this paper
• FaCT and iFaCT

  1999cites this paper
• Practical Reasoning for Expressive Description Logics

  1999cites this paper
• Description Logics with n-ary Relations

  year unknowncites this paper
• Type-Elimination-Based Reasoning for the Description Logic Type-Elimination-Based Reasoning for the Description Logic SHIQbs using Decision Diagrams and Disjunctive Datalog using Decision Diagrams and Disjunctive Datalog

  year unknowncites this paper
• International Journal on Digital Libraries Manuscript No. Declarative Speciication of Z39.50 Wrappers Using Description Logics ?

  year unknowncites this paper