[1]
|
Guarino, N. and Giaretta, P. (1995) Ontologies and Knowledge Bases. In: Towards Very Large Knowledge Bases, IOS Press, Amsterdam, 1-2.
|
[2]
|
Web Ontology Language (OWL) Offers Additional Knowledge Base Oriented Ontology Constructs and Axioms. http://www.w3.org/2002/Talks/04-sweb/slide12-0.html
|
[3]
|
Ian Horrocks, Ontologies and the Semantic Web, Oxford University Computing Laboratory.
|
[4]
|
http://protege.stanford.edu/
|
[5]
|
Baader, F., Calvanese, D., McGuinness, D., Nardi, D. and Patel-Schneider, P.F., Eds. (2003) The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge.
|
[6]
|
Horrocks, I. and Sattler, U. (2007) A Tableau Decision Procedure for SHOIQ. Journal of Automated Reasoning, 39, 249-276.
|
[7]
|
Joseph, K. and William, R. (2003) DAMLJessKB: A Tool for Reasoning with the Semantic Web. IEEE Intelligent Systems, 18, 74-77.
|
[8]
|
Joseph, K. And William, R. (2003) DAMLJessKB: A Tool for Reasoning with the Semantic Web. IEEE Intelligent Systems, 18, 74-77.
|
[9]
|
Richard, F., Jessica, J. and Gleb, F. (2003) JTP: A System Architecture and Component Library for Hybrid Reasoning. Stanford University, Stanford.
|
[10]
|
Carroll, J.J, Ian, D., Chris, D., Dave, R., Andy, S. and Kevin, W. (2004) Jena: Implementing the Semantic Web Recommendations. Proceedings of the 13th International World Wide Web Conference on Alternate Track Papers & Posters, 2004, 74-83. ISBN:1-58113-912-8.
|
[11]
|
Zou, Y.Y., Finin, T. and Chen, H. (2004) F-OWL: An Inference Engine for the Semantic Web. Formal Approaches to Agent-Based Systems. Vol. 3228 of Lecture Notes in Computer Science. Springer-Verlag, Berlin. Proceedings of the Third International Workshop (FAABS), 16-18 April 2004.
|
[12]
|
Dmitry, T. and Ian, H. (2003) Implementing New Reasoner with Datatypes Support. Wonder Web: Ontology Infrastructure for the Semantic Web Deliverable.
|
[13]
|
Ian, H. (1998) The FaCT System. Automated Reasoning with Analytic Tableaux and Related Methods. International Conference Tableaux-98, Springer Verlag, Berlin, 307-312.
|
[14]
|
Evren, S. and Bijan, P. (2004) Pellet: An OWL DL Reasoner. In: Description Logics, CEUR-WS.org, 9.
|
[15]
|
Aditya, K., Bijan, P. and James, H. (2005) A Tool for Working with Web Ontologies. International Journal on Semantic Web and Information Systems, 1, 4.
|
[16]
|
Michael, S. and Stefan, D. (2002) TRIPLE—A Query, Inference, and Transformation Language for the Semantic Web. Proceedings of the 1st International Semantic Web Conference (ISWC-02), Springer-Verlag, Berlin, 364-378.
|
[17]
|
Chalupsky, H. (2000) OntoMorph: A Translation System for Symbolic Knowledge. Proceedings of KR, Morgan Kaufmann Publishers, San Francisco, 471-482.
|