Skip to main content
SpringerLink
Log in

An order-sorted query system for sort, predicate, and meta-predicate hierarchies

  • Regular Paper
  • Published:
Knowledge and Information Systems Aims and scope Submit manuscript

Abstract

This paper presents a decidable order-sorted query system for reasoning between ontologies and rules. We describe order-sorted logic programming with sort, predicate, and meta-predicate hierarchies (OSL3h), which derives predicate and meta-predicate assertions. Meta-level predicates (predicates of predicates) are useful for representing relationships between predicate formulas, and further, they conceptually yield a hierarchy similar to the hierarchies of sorts and predicates. By extending the order-sorted Horn-clause calculus, we develop a query-answering system in OSL3h that can answer queries such as atoms and meta-atoms generalized by containing predicate variables. We show that the expressive query-answering system computes every generalized query in single exponential time, that is, the complexity of our query system is equal to that of DATALOG.

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

Similar content being viewed by others

References

  1. Aït-Kaci H, Nasr R (1986) ‘LOGIN: a logic programming language with built-in inheritance’. J Log Program 3(3): 185–215

    Article  Google Scholar 

  2. Börger E, Grädel E, Gurevich Y (1997) The classical decision problem. Springer, Berlin

    Book  MATH  Google Scholar 

  3. Chen W, Kifer M (1995) Sorted HiLog: sorts in higher-order logic data languages. In: Proceedings of the 5th international conference on database theory (ICDT’95). LNCS 893, Springer, Berlin, pp 252–265

  4. Cohn AG (1989) Taxonomic reasoning with many sorted logics. Artif Intell Rev 3: 89–128

    Google Scholar 

  5. Dantsin E, Eiter T, Gottlob G, Voronkov A (1997) Complexity and expressive power of logic programming. In: IEEE conference on computational complexity, pp 82–101

  6. Doets K (1994) From logic to logic programming. The MIT Press, Cambridge

    MATH  Google Scholar 

  7. Grosof B, Horrocks I, Volz R, Decker S (2003) Description logic programs: combining logic programs with description logics. In: Proceedings of the twelfth international world wide web conference, Budapest, Hungary (WWW)

  8. Groza T, Grimnes GA, Handschuh S, Decker S (2011) From raw publications to linked data. Knowl Inf Syst, pp 1–21 (Online First, 28 Dec 2011)

  9. Hanus M (1992) Logic programming with type specifications. In: Pfenning F (ed) Types in logic programming. The MIT Press, Cambridge

    Google Scholar 

  10. Hitzler P, Parsia B (2009) Ontologies and rules. In: Staab S, Studer R (eds) Handbook on ontologies, 2nd edn

  11. Horrocks I, Patel-Schneider PF (2004) A proposal for an owl rules language. In: Proceedings of the thirteenth international world wide web conference (WWW 2004). ACM, pp 723–731. http://download/2004/HoPa04a.pdf

  12. Horrocks I, Patel-Schneider PF, Boley H, Tabet S, Grosof B, Dean M (2004) SWRL: a semantic web rule language combining OWL and RuleML. W3C recommendation. http://www.w3.org/submission/swrl/

  13. Jouannaud JP, Okada M (1991) Satisfiability of systems of ordinal notations with the subterm property is decidable. In: Proceedings of the 18th international colloquium on automata, languages and programming (ICALP91) LNCS510, pp 455–468

  14. Kaneiwa K (2004) Order-sorted logic programming with predicate hierarchy. Artif Intell 158(2): 155–188

    Article  MathSciNet  MATH  Google Scholar 

  15. Kaneiwa K, Mizoguchi R (2005) An order-sorted quantified modal logic for meta-ontology. In: Proceedings of the international conference on automated reasoning with analytic tableaux and related methods (TABLEAUX2005). LNCS 3702, Springer, Berlin, pp 169–184

  16. Kaneiwa K, Mizoguchi R (2009) Distributed reasoning with ontologies and rules in order-sorted logic programming. J Web Semant 7(3): 252–270

    Article  Google Scholar 

  17. Kaneiwa K, Nguyen P (2009) Decidable order-sorted logic programming for ontologies and rules with argument restructuring. In: Proceedings of the 8th international semantic web conference (ISWC 2009). LNCS 5823, Springer, Berlin, pp 328–343

  18. Krisnadhi A, Maier F, Hitzler P (2011) OWL and rules. In: Reasoning web. Semantic technologies for the web of data—7th international summer school 2011, Galway, Ireland, August 23–27, Tutorial Lectures. LNCS 6848, pp 382–415

  19. Krötzsch M, Rudolph S, Hitzler P (2008) ELP: tractable rules for OWL 2. In: Proceedings of the 7th international semantic web conference (ISWC 2008). LNCS 5318, pp 649–664

  20. Lloyd JW (1987) Foundations of logic programming. Springer, Berlin

    Book  MATH  Google Scholar 

  21. Manzano M (1993) Introduction to many-sorted logic. In: Many-sorted Logic and its applications. Wiley, New York, pp 3–86

  22. Motik B (2007) On the properties of metamodeling in OWL. J Log Comput 17(4): 617–637

    Article  MathSciNet  MATH  Google Scholar 

  23. Motik B, Grau BC, Horrocks I, Wu Z, Fokoue A, Lutz C (2009) OWL 2 web ontology language profiles, W3C recommendation. http://www.w3.org/tr/owl2-profiles/

  24. Motik B, Sattler U, Studer R (2005) Query answering for OWL-DL with rules. J Web Semant Sci Serv Agents World Wide Web 3(1): 41–60

    Article  Google Scholar 

  25. Nguyen P, Kaneiwa K, Corbett D, Nguyen MQ (2007) An ontology formalization of relation type hierarchy in conceptual structure theory. In: Proceedings of the 21th Australian joint conference on artificial intelligence (AI2008). LNCS 5360, Springer, Berlin, pp 79–85

  26. Patel-Schneider PF, Hayes P, Horrocks I (2004) OWL web ontology language semantics and abstract syntax. W3C recommendation. http://www.w3.org/tr/2004/rec-owl-semantics-20040210/

  27. Rosati R (2005) On the decidability and complexity of integrating ontologies and rules. J Web Semant 3(1): 41–60

    Article  Google Scholar 

  28. Sánchez S, Isern D, Millan M (2011) Content annotation for the semantic web: an automatic web-based approach. Knowl Inf Syst 27: 393–418

    Article  Google Scholar 

  29. Schmidt-Schauss M (1989) Computational aspects of an order-sorted logic with term declarations. Springer, Berlin

    Book  MATH  Google Scholar 

  30. Senkul P, Salin S (2012) Improving pattern quality in web usage mining by using semantic information. Knowl Inf Syst 30: 527–541

    Article  Google Scholar 

  31. Socher-Ambrosius R, Johann P (1996) Deduction systems. Springer, Berlin

    Google Scholar 

  32. Vongdoiwang W, Batanov D (2006) An ontology-based procedure for generating object model from text description. Knowl Inf Syst 10: 93–108

    Article  Google Scholar 

  33. Woods W, Schmolze J (1992) The KL-ONE family. Comput Math with Appl Special Issue Semant Netw Artif Intell Part 1 23(2–5): 133–178

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical Engineering and Computer Science, Iwate University, 4-3-5 Ueda, Morioka, Iwate, 020-8551, Japan

    Ken Kaneiwa

  2. Attorney-General’s Department, Government of South Australia, 30 Wakefield St, Adelaide, SA, 5000, Australia

    Philip H. P. Nguyen

Authors
  1. Ken Kaneiwa
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Philip H. P. Nguyen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ken Kaneiwa.

Additional information

This paper is an extended version of [17], containing proofs as well as some additional definitions, theorems, lemmas, and examples.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kaneiwa, K., Nguyen, P.H.P. An order-sorted query system for sort, predicate, and meta-predicate hierarchies. Knowl Inf Syst 35, 463–492 (2013). https://doi.org/10.1007/s10115-012-0513-x

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10115-012-0513-x

Keywords

Search

Navigation