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

Cached

Download Links

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

Documents Related by Co-Citation

257 A Correspondence Theory for Terminological Logics: Preliminary Report – Klaus Schild - 1991
123 Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles – Franz Baader, Michael Hefert, Parsen Generieren, Jirgen Miller, Donald Steiner (hrsg, Kooperierende Agenten, Martin Buchheit, Klassische Kommunikations, Enno Tolzmann, Martin Harm, Knut Hinkelmann, Thomas Labisch, Klaus-peter Gores, Rainer Bleisinger, Ein Modell, Thom Frihwirth Terminglogical, Stephan Busemann - 1990
124 A description logic with transitive and inverse roles and role hierarchies – Ian Horrocks, Ulrike Sattler - 1998
187 Decidable reasoning in terminological knowledge representation systems – Martin Buchheit - 1993
251 Using an Expressive Description Logic: FaCT or Fiction? – Ian R. Horrocks - 1998
56 Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL – Giuseppe De Giacomo, Fabio Massacci - 1998
85 TBox and ABox Reasoning in Expressive Description Logics – Giuseppe De Giacomo, Maurizio Lenzerini - 1996
117 Optimising Tableaux Decision Procedures for DescriptionLogics – I Horrocks - 1997
140 An Empirical Analysis of Optimization Techniques for Terminological Representation Systems - or: Making KRIS get a move on – Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi - 1992
310 Practical Reasoning for Expressive Description Logics – Ian Horrocks, Ulrike Sattler, Stephan Tobies - 1999
44 A Benchmark Method for the Propositional Modal Logics K, KT, S4 – Alain Heuerding, Stefan Schwendimann - 1996
52 Implementing and Testing Expressive Description Logics: a Preliminary Report – Paolo Bresciani, Enrico Franconi, Sergio Tessaris - 1995
148 Attributive concept descriptions with complements – Manfred Schmidt-Schau��, Gert Smolka - 1991
170 Attributive concept descriptions with complements – M Schmidt-Schauß, G Smolka - 1991
36 Knowledge representation and inference system – KRIS - 1991
57 A SAT-Based Decision Procedure for ALC – Fausto Giunchiglia, Roberto Sebastiani - 1996
47 Intelligent Backtracking On Constraint Satisfaction Problems: Experimental And Theoretical Results – Andrew B. Baker - 1995
16 random 3-SAT problems and the DavisPutnam procedure – Hard - 1996
61 Cardinality Restrictions on Concepts – Franz Baader, Martin Buchheit, Bernhard Hollunder - 1993