TrOWL: Tractable OWL 2 reasoning infrastructure

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6089 LNCS, Issue PART 2, 2010, Pages 431-435

  Thomas, Edward ^a   Pan, Jeff Z ^a   Ren, Yuan ^a  

^a UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

LARGE SCALE INFRASTRUCTURES; NOVEL TECHNIQUES; QUALITY GUARANTEED; QUERYING ONTOLOGIES; RESEARCH INSTITUTIONS;

ONTOLOGY; SEMANTICS; WORLD WIDE WEB;

SEMANTIC WEB;

EID: 77954415059     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-13489-0_38     Document Type: Conference Paper

References (12)

1. Baader, F., Brandt, S., Lutz, C.: Pushing the EL Envelope. In: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence, IJCAI 2005 (2005)
2. Baader, F., Lutz, C., Suntisrivaraporn, B.: Is tractable reasoning in extensions of the description logic el useful in practice? In: Proceedings of the 2005 International Workshop on Methods for Modalities, M4M 2005 (2005)
3. Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American 284(5), 34-43 (2001)
4. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The dl-lite family. Journal of Automated Reasoning 39(3), 385-429 (2007)
5. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Forgetting in managing rules and ontologies. In: Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006), Hongkong, pp. 411-419. IEEE Computer Society, Los Alamitos (2006)
6. Motik, B., Patel-Schneider, P.F., Parsia, B.: OWL 2 Web Ontology Language: Structural Specification and Functional-Style Syntax (October 2009), http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/
7. Pan, J.Z., Thomas, E.: Approximating OWL-DL Ontologies. In: The Proc. of the 22nd National Conference on Artificial Intelligence (AAAI 2007), pp. 1434-1439 (2007)
8. Ren, Y., Gröner, G., Lemcke, J., Rahmani, T., Friesen, A., Zhao, Y., Pan, J.Z., Staab, S.: Validating process refinement with ontologies. In: Proceedings of the 22nd International Workshop on Description Logics, DL 2009 (2009)
9. Smith, M.K., Welty, C., McGuiness, D.L.: (February 2004) http://www.w3.org/TR/owl-guide/
10. Wang, K., Wang, Z., Topor, R.W., Pan, J.Z., Antoniou, G.: Concept and role forgetting in ALC ontologies. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 666-681. Springer, Heidelberg (2009)
11. Wang, Z., Wang, K., Topor, R., Pan, J.Z.: Forgetting in DL-Lite. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) ESWC 2008. LNCS, vol. 5021, pp. 245-257. Springer, Heidelberg (2008)
12. Zhao, Y., Pan, J.Z., Ren, Y.: Implementing and evaluating a rule-based approach to querying regular el+ ontologies. In: Proc. of the International Conference on Hybrid Intelligent Systems, HIS 2009 (2009)