Skip to main content
SpringerLink
Log in

A meta-logical approach for reasoning with an OWL 2 ontology

  • Original Research
  • Published:
Journal of Ambient Intelligence and Humanized Computing Aims and scope Submit manuscript

Abstract

A recent development of a Semantic Web language led to Web Ontology Language (OWL) 2, an extension of OWL. So far OWL 2 has been designed by W3C as the language for representing a web ontology. Earlier we have developed a meta-logical approach for reasoning with Semantic Web ontologies expressed in OWL (Hirankitti and Tran, 4th IEEE International Conference on Computer Sciences: Research, Innovation and Vision for the Future, Vietnam, pp 228–235, 2006b). With the new extension—OWL 2, in this paper we shall extend our previous work to support this richer language. A meta-interpreter, defined by a demo(.) predicate together with auxiliary axioms, is proposed and used for reasoning with OWL 2 ontologies expressed in terms of meta-programs. Finally we demonstrate some expressiveness of the meta-interpreter and compare it with other approaches.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3

Similar content being viewed by others

References

  • Almendros-Jiménez JM (2011) A prolog library for OWL RL. In: the 4th International Workshop on Logic in Database (LID’11), pp 45–57

  • Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF (2007) The description logic handbook: theory, implementation, and applications. 2nd edn. University Press, Cambridge

  • Bizer C, Lehmann J, Kobilarov G, Auer S, Becker C, Cyganiak R, Hellmann S (2009) DBpedia—a crystallization point for the Web of Data. Web Semant 7(3):154–165. doi:10.1016/j.websem.2009.07.002

    Article  Google Scholar 

  • Grosof BN, Horrocks I, Volz R, Decker S (2003) Description logic programs: combining logic programs with description logic. In: the 12th International Conference on the WWW, pp 48–57

  • Hirankitti V, Tran VX (2006a) Meta-reasoning for multi-agent communication of semantic web information. Int J Inf Technol (IJIT) 3:91–100

    Google Scholar 

  • Hirankitti V, Tran VX (2006b) A meta-logical approach for reasoning with semantic web ontologies. In: 4th IEEE International Conference on Computer Sciences: Research, Innovation and Vision for the Future, Vietnam, pp 228–235

  • Hirankitti V, Tran VX (2006c) A meta-logical approach for multi-agent communication of the semantic web information. In: Lecture Notes in Computer Science, vol 4369, Springer, pp 215–228

  • Hirankitti V, Tran VX (2006d) Meta-reasoning with multiple distributed ontologies on the semantic web. In: 6th International Conference on Intelligent Technologies, Thailand, pp 301–309

  • Horrocks I, Kutz O, Sattler U (2006) The even more irresistible SROIQ. In: the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR2006), Lake District, UK, pp 57–67

  • Kowalski RA, Kim JS (1991) A metalogic programming approach to multi-agent knowledge and belief. AI and mathematical theory of computation, pp 231–246

  • Motik B, Patel-Schneider PF, Parsia B (2009) OWL 2 Web Ontology Language document overview

  • Patel-Schneider PF, Hayes P, Horrocks I (2004) OWL Web Ontology Language Semantics and Abstract Syntax, W3C Recommendation

  • Suchanek FM, Kasneci G, Weikum G (2008) YAGO: a large ontology from Wikipedia and WordNet. Web Semant 6(3):203–217. doi:10.1016/j.websem.2008.06.001

    Article  Google Scholar 

  • The family ontology for testing new features from OWL 2 (2010) http://www.owldl.com/ontologies/family.owl

  • Vassiliadis V, Wielemaker J, Mungall C (2009) Processing OWL 2 ontologies using Thea: an application of logic programming. In: OWL: Experiences and Direction (OWLED 2009)

  • W3C (2004) The resource description framework. http://www.w3.org/tr/2004/rec-owl-semantics-20040210/

Download references

Acknowledgments

This research was financially supported by the Japan International Corporation Agency (JICA) under the AUN/SEED-Net Program. We are very grateful for that. Thanks for fruitful comments from the reviewers which suggested some practical aspects of this work.

Author information

Authors and Affiliations

  1. Faculty of Engineering, School of Computer Engineering, King Mongkut’s Institute of Technology Ladkrabang, Ladkrabang, Bangkok, 10520, Thailand

    Visit Hirankitti

  2. International College, King Mongkut’s Institute of Technology Ladkrabang, Ladkrabang, Bangkok, 10520, Thailand

    Trang Xuan Mai

Authors
  1. Visit Hirankitti
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Trang Xuan Mai
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Visit Hirankitti.

Appendix: A simple family ontology expressed in OWL 2

Appendix: A simple family ontology expressed in OWL 2

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hirankitti, V., Mai, T.X. A meta-logical approach for reasoning with an OWL 2 ontology. J Ambient Intell Human Comput 3, 293–303 (2012). https://doi.org/10.1007/s12652-012-0142-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s12652-012-0142-y

Keywords

Search

Navigation