Searching for "Cardinality Restrictions on Concepts." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

A NExpTime-Complete Description Logic Strictly Contained in C²
by Stephan Tobies — 1999
… of the Description Logic ALCQI with a terminological formalism based on cardinality restrictions on concepts…
Cited by 2 (2 self) – Add To MetaCart

Research Report
by Rr- Cardinality, Intelligenz Gmbh, Franz Baader, Martin Buchheit, Bernhard Hollunder, Deutsches Forschungszentrum, Friedrich J. Wendl — 1993
…-48 Cardinality Restrictions on Concepts Franz Baader Martin Buchheit Bernhard Hollunder December 1993 Deutsches…
Add To MetaCart

The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description
by Stephan Tobies Tobies — 2000 — Journal of Artificial Intelligence Research
… ALCQ and ALCQI with a terminological formalism based on cardinality restrictions on concepts…
Cited by 36 (0 self) – Add To MetaCart

The Complexity of Cardinality Restrictions
by Stephan Tobies — 2000
… ALCQI with a terminological formalism based on cardinality restrictions on concepts. This combination…
Add To MetaCart

Implementing and Testing Expressive Description Logics: a Preliminary Report
by Baader Et Al, B Franz Baader, Sergio Tessaris, Bernhard Hollunder Cardinality, Bresciani Et Al, Paolo Bresciani, Enrico Franconi, Sergio Tessaris Implementing, Francesco M. Donini, Andrea Schaerf, Buchheit Et Al, Buchheit Et Al, Martin Buchheit, Martin Buchheit, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt
…. Cardinality restrictions on concepts. In Proc. of KI'94, 1994. [Bresciani et al., 1995] Paolo Bresciani…
Add To MetaCart

Complexity Results and Practical Algorithms for Logics in Knowledge Representation
by Stephan Tobies, Von Der Fakultat Fur Mathematik, Informatik Und Naturwissenschaften Der, Rheinisch-westfalischen Technischen, Hochschule Aachen, Diplom-informatiker Stephan Tobies, Franz Baader, Universitatsprofessor Dr, Universitatsprofessor Dr, Erich Gradel, Tag Der Mundlichen Prufung — 2001
…. It is clear that cardinality restrictions on concepts can be used to express nominals and and we will see…
Cited by 91 (0 self) – Add To MetaCart

aus Essen
by Stephan Tobies, Von Der Fakultät Für Mathematik, Informatik Und Naturwissenschaften Der, Rheinisch-westfälischen Technischen, Hochschule Aachen, Universitätsprofessor Dr, Franz Baader, Universitätsprofessor Dr, Erich Grädel, Tag Der Mündlichen Prüfung — 2001
…, Buchheit, and Hollunder (1996) introduce cardinality restrictions on concepts as a terminological formalism…
Add To MetaCart

Knowledge Integration for Description Logics
by Thomas Meyer, Kevin Lee, Richard Booth — 2005 — In Proceedings of the 7 th International Symposium on Logical Formalizations of Commonsense Reasoning
… (∃R.C) and value restriction (∀R.C), where C, D stand for concepts and R for a role name. To define…
Cited by 20 (0 self) – Add To MetaCart

An Analysis of Approaches to Resolving Inconsistencies in DL-based Ontologies
by Peter Haase, Guilin Qi
… a terminological axiom, they introduced a DL expression, called cardinality restrictions on concepts…
Cited by 3 (1 self) – Add To MetaCart

A Revision-Based Approach for Handling Inconsistency in Description Logics
by Guilin Qi, Weiru Liu, David A. Bell — 2006 — In Proceedings of the 11 th International Workshop on NonMonotonic Reasoning (NMR-06
…, they introduced a DL expression, called cardinality restrictions on concepts. However, to weaken an assertional…
Cited by 3 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB