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

Knowledge and Information Systems

Volumn 35, Issue 2, 2013, Pages 463-492

  Kaneiwa, Ken ^a   Nguyen, Philip H P ^b  

^a IWATE UNIVERSITY   (Japan)

^b Government of South Australia   (Australia)

Author keywords

Logic programming; Meta predicate hierarchy; Order sorted logic; Query system; Semantic web

Indexed keywords

CALCULATIONS; COMPUTER CIRCUITS; QUERY PROCESSING; SEMANTIC WEB;

EXPONENTIAL TIME; HORN CLAUSE; META LEVELS; META-PREDICATES; ONTOLOGIES AND RULES; ORDER SORTED LOGIC; QUERY ANSWERING SYSTEMS; QUERY SYSTEMS;

LOGIC PROGRAMMING;

EID: 84876044597     PISSN: 02191377     EISSN: 02193116     Source Type: Journal    
DOI: 10.1007/s10115-012-0513-x     Document Type: Article

References (33)

1. Aït-Kaci H, Nasr R (1986) 'LOGIN: a logic programming language with built-in inheritance'. J Log Program 3(3): 185-215.
2. Börger E, Grädel E, Gurevich Y (1997) The classical decision problem. Springer, Berlin.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
29. Schmidt-Schauss M (1989) Computational aspects of an order-sorted logic with term declarations. Springer, Berlin.
30. Senkul P, Salin S (2012) Improving pattern quality in web usage mining by using semantic information. Knowl Inf Syst 30: 527-541.
31. Socher-Ambrosius R, Johann P (1996) Deduction systems. Springer, Berlin.
32. Vongdoiwang W, Batanov D (2006) An ontology-based procedure for generating object model from text description. Knowl Inf Syst 10: 93-108.
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.