Searching for "Expressive Description Logics." – sorted by Relevance.
470 documents found, showing 1 through 10.
Next 10 →
-
Reasoning in Expressive Description Logics
- …Chapter 12 Reasoning in Expressive Description Logics Diego Calvanese Giuseppe De Giacomo Daniele…
- Cited by 62 (14 self) – Add To MetaCart
-
Optimisation Techniques for Expressive Description Logics
- … Series UMCS-97-2-1 Optimisation Techniques for Expressive Description Logics Ian Horrocks Department…
- Cited by 12 (1 self) – Add To MetaCart
-
Practical Reasoning for Expressive Description Logics
- …Practical Reasoning for Expressive Description Logics Ian Horrocks 1 and Ulrike Sattler 2…
- Cited by 243 (58 self) – Add To MetaCart
-
Conservative extensions in expressive description logics
- … Conservative extensions in Expressive Description Logics Carsten Lutz, Dirk Walther, Frank…
- Cited by 31 (8 self) – Add To MetaCart
-
Optimising Terminological Reasoning for Expressive Description Logics
- …Optimising Terminological Reasoning for Expressive Description Logics Dmitry Tsarkov, Ian Horrocks…
- Cited by 2 (0 self) – Add To MetaCart
-
A semantic similarity measure for expressive description logics
- …A Semantic Similarity Measure for Expressive Description Logics Claudia d’Amato, Nicola Fanizzi…
- Cited by 7 (4 self) – Add To MetaCart
-
On the Relative Expressiveness of Description Logics and Predicate Logics.
- …To appear in Artificial Intelligence Journal On the Relative Expressiveness of Description Logics…
- Cited by 111 (3 self) – Add To MetaCart
-
Practical Reasoning for Very Expressive Description Logics
- …Practical Reasoning for Very Expressive Description Logics IAN HORROCKS, Department of Computer…
- Cited by 97 (17 self) – Add To MetaCart
-
On the Relative Expressiveness of Description Logics and Predicate Logics.
- … definitions in Description Logics as expressing monadic and dyadic predicates in Predicate Calculus. We show…
- Add To MetaCart
-
Data Complexity of Reasoning in Very Expressive Description Logics
- …Data Complexity of Reasoning in Very Expressive Description Logics Ullrich Hustadt Dept…
- Cited by 54 (10 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
