48 results
Efficient TBox Reasoning with Value Restrictions using the
${\cal F}{{\cal L}_0}$ wer Reasoner
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 2 / March 2022
- Published online by Cambridge University Press:
- 15 October 2021, pp. 162-192
-
- Article
-
- You have access
- Open access
- Export citation
Extensions of unification modulo ACUI
-
- Journal:
- Mathematical Structures in Computer Science / Volume 30 / Issue 6 / June 2020
- Published online by Cambridge University Press:
- 11 November 2019, pp. 597-626
-
- Article
-
- You have access
- Open access
- Export citation

An Introduction to Description Logic
-
- Published online:
- 13 June 2017
- Print publication:
- 07 April 2017
Index
-
- Book:
- An Introduction to Description Logic
- Published online:
- 13 June 2017
- Print publication:
- 07 April 2017, pp 252-255
-
- Chapter
- Export citation
7 - QueryAnswering
-
- Book:
- An Introduction to Description Logic
- Published online:
- 13 June 2017
- Print publication:
- 07 April 2017, pp 168-204
-
- Chapter
- Export citation
8 - Ontology Languages and Applications
-
- Book:
- An Introduction to Description Logic
- Published online:
- 13 June 2017
- Print publication:
- 07 April 2017, pp 205-227
-
- Chapter
- Export citation
4 - Reasoning in DLs with Tableau Algorithms
-
- Book:
- An Introduction to Description Logic
- Published online:
- 13 June 2017
- Print publication:
- 07 April 2017, pp 69-105
-
- Chapter
- Export citation
2 - A Basic Description Logic
-
- Book:
- An Introduction to Description Logic
- Published online:
- 13 June 2017
- Print publication:
- 07 April 2017, pp 10-49
-
- Chapter
- Export citation
Contents
-
- Book:
- An Introduction to Description Logic
- Published online:
- 13 June 2017
- Print publication:
- 07 April 2017, pp v-viii
-
- Chapter
- Export citation
References
-
- Book:
- An Introduction to Description Logic
- Published online:
- 13 June 2017
- Print publication:
- 07 April 2017, pp 234-251
-
- Chapter
- Export citation
3 - A Little Bit of Model Theory
-
- Book:
- An Introduction to Description Logic
- Published online:
- 13 June 2017
- Print publication:
- 07 April 2017, pp 50-68
-
- Chapter
- Export citation
Appendix - Description Logic Terminology
-
- Book:
- An Introduction to Description Logic
- Published online:
- 13 June 2017
- Print publication:
- 07 April 2017, pp 228-233
-
- Chapter
- Export citation
5 - Complexity
-
- Book:
- An Introduction to Description Logic
- Published online:
- 13 June 2017
- Print publication:
- 07 April 2017, pp 106-139
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- An Introduction to Description Logic
- Published online:
- 13 June 2017
- Print publication:
- 07 April 2017, pp 1-9
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- An Introduction to Description Logic
- Published online:
- 13 June 2017
- Print publication:
- 07 April 2017, pp i-iv
-
- Chapter
- Export citation
6 - Reasoning in the EL Family of Description Logics
-
- Book:
- An Introduction to Description Logic
- Published online:
- 13 June 2017
- Print publication:
- 07 April 2017, pp 140-167
-
- Chapter
- Export citation

Term Rewriting and All That
-
- Published online:
- 05 June 2012
- Print publication:
- 05 March 1998

The Description Logic Handbook
- Theory, Implementation and Applications
-
- Published online:
- 06 July 2010
- Print publication:
- 09 August 2007
Reasoning about structured objects: Knowledge representation meets databases
-
- Journal:
- The Knowledge Engineering Review / Volume 10 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 07 July 2009, pp. 73-76
-
- Article
- Export citation
Part II - Implementation
-
- Book:
- The Description Logic Handbook
- Published online:
- 06 July 2010
- Print publication:
- 09 August 2007, pp 283-284
-
- Chapter
- Export citation