1 |
V. Haarslev and R. Moller. "Description of the RACER system and its applications," In DL2001 Workshop on Description Logics, Stanford, CA, 2001
|
2 |
K. Wilkinson, C. Sayers, H. Kuno, D. Reynolds, "Efficient RDF Storage and Retrieval in Jena2," Proceedings of SWDB'03
|
3 |
Minsu Jang, Joo-chan Sohn, "Bossam: an extended rule engine for the web," Proceedings of RuleML 2004 (LNCS Vol. 3323), 2004
|
4 |
Fikes, Richard, Jessica Jenkins, and Gleb Frank. "JTP: A System Architecture and Component Library for Hybrid Reasoning." Proceedings of the Seventh World Multiconference on Systemics, Cybernetics, and Informatics. 2003
|
5 |
http://dig.sourceforge.net/
|
6 |
Grigoris, A., Frank van Harmelen, A Semantic Web Primer, The MIT Press, 2004
|
7 |
Ian Horrocks, Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester, 1997
|
8 |
RDQL - A Query Language for RDF, http:// www.w3.org/Submission/2004/SUBM-RD QL-20040109/
|
9 |
Steffen Staab and Rudi Studer (Eds.): Handbook on Ontologies: International Handbooks on Information Systems, Springer, 2004
|
10 |
Jing Mei, Elena Paslaru Bontas, Zuoquan Lin, "OWL2Jess: A Transformational Implementation of the OWL Semantics. Proc. of ISPA 2005, LNCS 3759: 599-608, 2005
|
11 |
E. Sirin, B. Parsia, B. C. Grau, A. Kalyanpur, and Y. Katz. "Pellet: a practical OWL-DL reasoner." Submitted for publication to Journal of Web Semantics, 2006
|
12 |
Genesereth, M., and Nilsson, N. Logical Foundations of Artificial Intelligence, Morgan Kaufman Publishers, 1987
|
13 |
KAON2, http://kaon2.semanticweb.org/
|
14 |
Baader F., et al, The Description Logic Handbook, Cambridge, 2003
|
15 |
OWLJessKB: A Semantic Web Reasoning Tool, http://edge.cs.drexel.edu/assemblies/ software/owljesskb/
|
16 |
Protege Homepage, http://protege.stanford.edu/
|
17 |
Ian Horrocks, Peter F. Patel-Schneider, Harold Boloy, Said Tabet, Benjamin Grosof, Mike Dean, "SWRL: A Semantic Web Rule Language Combining OWL and RuleML," W3C, 2004. http://www.w3.org/Submission/SWRL/
|
18 |
RacerPro Homepage, http://www.racer-systems.com/
|
19 |
http://www.w3.org/TR/daml+oil-axioms
|