TrOWL: Tractable OWL 2 Reasoning Infrastructure

  • Edward Thomas
  • Jeff Z. Pan
  • Yuan Ren
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6089)


The Semantic Web movement has led to the publication of thousands of ontologies online. These ontologies present and mediate information and knowledge on the Semantic Web. Tools exist to reason over these ontologies and to answer queries over them, but there are no large scale infrastructures for storing, reasoning, and querying ontologies on a scale that would be useful for a large enterprise or research institution. We present the TrOWL infrastructure for transforming, reasoning, and querying OWL2 ontologies which uses novel techniques such as Quality Guaranteed Approximations and Forgetting to achieve this goal.


  1. 1.
    Baader, F., Brandt, S., Lutz, C.: Pushing the \(\mathcal{EL}\) Envelope. In: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence, IJCAI 2005 (2005)Google Scholar
  2. 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)Google Scholar
  3. 3.
    Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American 284(5), 34–43 (2001)CrossRefGoogle Scholar
  4. 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)zbMATHCrossRefMathSciNetGoogle Scholar
  5. 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)CrossRefGoogle Scholar
  6. 6.
    Motik, B., Patel-Schneider, P.F., Parsia, B.: OWL 2 Web Ontology Language: Structural Specification and Functional-Style Syntax (October 2009),
  7. 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)Google Scholar
  8. 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)Google Scholar
  9. 9.
    Smith, M.K., Welty, C., McGuiness, D.L.: (February 2004)
  10. 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)CrossRefGoogle Scholar
  11. 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)CrossRefGoogle Scholar
  12. 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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Edward Thomas
    • 1
  • Jeff Z. Pan
    • 1
  • Yuan Ren
    • 1
  1. 1.Department of Computing ScienceUniversity of AberdeenAberdeenUK

Personalised recommendations