A Concept Language Extended With Different Kinds of Transitive Roles (1996)

Cached

Download Links

by Ulrike Sattler , Ulrike Sattler
Citations:48 - 11 self

Active Bibliography

28 Terminological Knowledge Representation System in a Process Engineering Application – Ulrike Sattler - 1998
13 Knowledge Representation in Process Engineering – Franz Baader, Ulrike Sattler - 1996
275 Basic Description Logics – Franz Baader, Werner Nutt - 2003
231 The Complexity of Concept Languages – F. M. Donini, M. Lenzerini, D. Nardi, W. Nutt - 1995
193 Tableau Algorithms for Description Logics – Franz Baader, Ulrike Sattler - 2000
4 Description Logics: Foundations for Class-based Knowledge Representation – Diego Calvanese, Maurizio Lenzerini - 2002
8 Description logics for ontologies – Ulrike Sattler - 2003
24 Description Logics for the Representation of Aggregated Objects – Ulrike Sattler - 2000
52 Implementing and Testing Expressive Description Logics: a Preliminary Report – Paolo Bresciani, Enrico Franconi, Sergio Tessaris - 1995
96 A Terminological Knowledge Representation System with Complete Inference Algorithms – Franz Baader, Bernhard Hollunder - 1991
31 Artificial Intelligence: A Computational Perspective – Bernhard Nebel - 1994
27 Logic-based Knowledge Representation – Franz Baader - 1996
310 Practical Reasoning for Expressive Description Logics – Ian Horrocks, Ulrike Sattler, Stephan Tobies - 1999
32 Expressive number restrictions in Description Logics – Franz Baader, Ulrike Sattler - 1999
187 Decidable reasoning in terminological knowledge representation systems – Martin Buchheit - 1993
57 A SAT-Based Decision Procedure for ALC – Fausto Giunchiglia, Roberto Sebastiani - 1996
126 Description Logics as Ontology Languages for the Semantic Web – Franz Baader, Ian Horrocks, Ulrike Sattler - 2003
85 TBox and ABox Reasoning in Expressive Description Logics – Giuseppe De Giacomo, Maurizio Lenzerini - 1996
97 Unifying class-based representation formalisms – Diego Calvanese, Maurizio Lenzerini, Daniele Nardi - 1999