1 |
B. Motik, Ulrike Sattler : Practical DL Reasoning over Large ABoxes with KAON2
|
2 |
Y. Guo, Z. Pan, and J. Heflin : LUBM: Benchmark for OWL Knowledge Base Systems. Lehigh University, ISWC2004
|
3 |
Y. Guo, Z. Pan, and J. Heflin : An Evaluation of Knowledge Base Systes ofr Large OWL Datasets. In Proc. of the 3rd International Semantic Web Conference (ISWC2004), 2004
|
4 |
RacerPro Homepage, http://www.racer-systems.com/
|
5 |
SPARQL Query Language for RDF, http://www.w3.org/TR/rdf-sparql-query/
|
6 |
F. Baader, W. Nutt : Basic Description Logics. The Description Logic Handbook. Cambridge University Press, 2003
|
7 |
I. Horrocks, L.Li, D. Turi : The Instance Store: Description Logic Reasoning with Large Numbers of Individuals. DL2004
|
8 |
B. Motik and U. Sattler. A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. Proc. of the 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2006), Phnom Penh, Cambodia, November, 2006
|
9 |
Genesereth, M., Nilsson,N. Logical Foundations of Artificial Intelligence, Morgan-Kaufman, 1987
|
10 |
I. Horrocks : Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester, 1997
|
11 |
I. Horrocks and P.Patel-Schneider : DL Systems Comparison. In Proc. of DL'98, 1998
|
12 |
Pellet Homepage, http://pellet.owldl.com/
|
13 |
J. Galinski, A. Kaya, and R. Möller : Development of a server to support the formal semantic web query language OWL-QL. In I. Horrocks, U. Sattler, and F. Wolter, editors, Proc. International Workshop on Description Logics, 2005
|
14 |
Y. Guo, Z. Pan, and J. Heflin : Choosing the Best Knowledge Base System for Large Semantic Web Applications. In Proc. of the 13th International World Wide Web Conference(WWW2004) - Alternate Track Papers & Posters, 2004
|
15 |
VICODI, http://www.vicodi.org/
|
16 |
D.L. McGuinnes, F.V.Harmelen : OWL Web Ontology Language Overview. W3C recommendation 10 Feb, 2004
|
17 |
I. Horrocks, U. Sattler and S. Tobies : Reasoning with individuals for description logic SHIQ. Proc. of the 17th Int. Conf. On Audomated Deduction(CADE 2000): 482-496
|