OWL and rules

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

Volumn 6848 LNCS, Issue , 2011, Pages 382-415

  Krisnadhi, Adila ^a   Maier, Frederick ^a   Hitzler, Pascal ^a  

^a WRIGHT STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

RULE BASED; WEB ONTOLOGY LANGUAGE;

ONTOLOGY; SEMANTICS; USER INTERFACES; WORLD WIDE WEB;

SEMANTIC WEB;

EID: 80052419745     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-23032-5_7     Document Type: Conference Paper

References (88)

1. Alferes, J.J., Knorr, M., Swift, T.: Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 1-16. Springer, Heidelberg (2009)
2. Alferes, J.J., Knorr, M., Swift, T.: Query-driven Procedures for Hybrid MKNF Knowledge Bases. CoRR abs/1007.3515 (2010), http://arxiv.org/abs/1007.3515
3. Baader, F., Hollunder, B.: Embedding defaults into terminological representation systems. J. Automated Reasoning 14, 149-180 (1995)
4. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2007)
5. Boley, H., Hallmark, G., Kifer, M., Paschke, A., Polleres, A., Reynolds, D. (eds.): RIF Core Dialect. W3C Recommendation (June 22, 2010), http://www.w3.org/TR/rif-core/
6. Boley, H., Kifer, M. (eds.): RIF Basic Logic Dialect. W3C Recommendation (June 22, 2010), http://www.w3.org/TR/rif-bld/
7. Bonatti, P., Lutz, C., Wolter, F.: Expressive Non-Monotonic Description Logics Based on Circumscription. In: Proc. of 10th Intern. Conf. on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 400-410. AAAI Press, Menlo Park (2006)
8. Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning 39(3), 385-429 (2007) (Pubitemid 47340922)
9. Chen, W., Warren, D.S.: Tabled evaluation with delaying for general logic programs. J. ACM 43, 20-74 (1996) (Pubitemid 126607634)
10. De Bruijn, J., Pearce, D., Polleres, A., Valverde, A.: Quantified equilibrium logic and hybrid rules. In: Marchiori, M., Pan, J.Z., de Marie, C.S. (eds.) RR 2007. LNCS, vol. 4524, pp. 58-72. Springer, Heidelberg (2007)
11. *IA 1991. LNCS, vol. 549, pp. 88-97. Springer, Heidelberg (1991)
12. Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: AL-log: Integrating datalog and description logics. J. Intell. Inf. Syst. 10, 227-252 (1998), doi:10.1023/A:1008687430626
13. Donini, F.M., Nardi, D., Rosati, R.: Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Logic 3(2), 177-225 (2002)
14. Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining Answer Set Programming with Description Logics for the Semantic Web. In: Proc. of the 9th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2004). AAAI Press, Menlo Park (2004)
15. Eiter, T., Gottlob, G., Ortiz, M., Šimkus, M.: Query answering in the description logic horn-SHIQ. In: Hölldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol. 5293, pp. 166-179. Springer, Heidelberg (2008)
16. Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R.: Well-founded semantics for description logic programs in the semantic web. ACM Trans. Comput. Log. 12(2), article 11 (2011)
17. Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artif. Intell. 172, 1495-1539 (2008)
18. Eiter, T., Ianni, G., Polleres, A., Schindlauer, R., Tompits, H.: Reasoning with rules and ontologies. In: Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.) Reasoning Web 2006. LNCS, vol. 4126, pp. 93-127. Springer, Heidelberg (2006) (Pubitemid 44568361)
19. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: dlvhex: A prover for semantic-web reasoning under the answer-set semantics. In: 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), Hong Kong, China, December 18-22, pp. 1073-1074. IEEE Computer Society, Los Alamitos (2006) (Pubitemid 351577000)
20. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Effective integration of declarative rules with external evaluations for semantic-web reasoning. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 273-287. Springer, Heidelberg (2006) (Pubitemid 44071165)
21. Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Well-founded semantics for description logic programs in the semantic web. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, pp. 81-97. Springer, Heidelberg (2004)
22. Gelder, A.V., Ross, K., Schlipf, J.S.: Unfounded sets and well-founded semantics for general logic programs. In: PODS 1988: Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, pp. 221-230. ACM Press, New York (1988)
23. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K. (eds.) Proceedings of the Fifth International Conference on Logic Programming, pp. 1070-1080. MIT Press, Cambridge (1988)
24. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9(3/4), 365-386 (1991)
25. Gomes, A.S., Alferes, J.J., Swift, T.: Implementing Query Answering for Hybrid MKNF Knowledge Bases. In: Carro, M., Peña, R. (eds.) PADL 2010. LNCS, vol. 5937, pp. 25-39. Springer, Heidelberg (2010)
26. Grimm, S., Hitzler, P.: Semantic Matchmaking of Web Resources with Local Closed-World Reasoning. International Journal of Electronic Commerce 12(2) 89-126 (2008)
27. Grimm, S., Hitzler, P.: A preferential tableaux calculus for circumscriptive ALCO. In: Polleres, A., Swift, T. (eds.) RR 2009. LNCS, vol. 5837, pp. 40-54. Springer, Heidelberg (2009)
28. Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: Proceedings of WWW 2003, Budapest, Hungary, pp. 48-57 (May 2003)
29. Heymans, S., Predoiu, L., Feier, C., de Bruijn, J., Nieuwenborgh, D.V.: G-hybrid knowledge bases. In: Proc. of ICLP 2006 Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006) (2006)
30. Hitzler, P., Parsia, B.: Ontologies and rules. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies, 2nd edn., pp. 111-132. Springer, Heidelberg (2009)
31. Hitzler, P.: Towards reasoning pragmatics. In: Janowicz, K., Raubal, M., Levashkin, S. (eds.) GeoS 2009. LNCS, vol. 5892, pp. 9-25. Springer, Heidelberg (2009)
32. Hitzler, P., van Harmelen, F.: A reasonable semantic web. Semantic Web 1(1-2), 39-44 (2010)
33. Hitzler, P., Krötzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S. (eds.): OWL 2 Web Ontology Language: Primer. W3C Recommendation (October 27, 2009), http://www.w3.org/TR/owl2-primer/
34. Hitzler, P., Krötzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman & Hall/CRC (2009)
35. Hitzler, P., Seda, A.K.: Mathematical Aspects of Logic Programming Semantics. CRC Press, Boca Raton (2010)
36. Horrocks, I., Patel-Schneider, P.F.: A proposal for an OWL rules language. In: Proceedings of the 13th international conference on World Wide Web, WWW 2004, pp. 723-731. ACM, New York (2004) (Pubitemid 40752807)
37. Horrocks, I., Patel-Schneider, P.F., Bechhofer, S., Tsarkov, D.: OWL rules: A proposal and prototype implementation. J. of Web Semant. 3, 23-40 (2005) (Pubitemid 40891657)
38. Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language Combining OWL and RuleML. W3C Member Submission (May 21, 2004), http://www.w3.org/Submission/SWRL/
39. Hustadt, U., Motik, B., Sattler, U.: Data complexity of reasoning in very expressive description logics. In: Proceedings of the 19th international joint conference on Artificial intelligence, pp. 466-471. Morgan Kaufmann Publishers Inc., San Francisco (2005)
40. Kazakov, Y.: Consequence-driven reasoning for Horn SHIQ ontologies. In: Proceedings of the 21st international jont conference on Artifical intelligence, pp. 2040-2045. Morgan Kaufmann Publishers Inc., San Francisco (2009)
41. Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of the ACM 42(4), 741-843 (1995)
42. Kifer, M.: Rule interchange format: The framework. In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol. 5341, pp. 1-11. Springer, Heidelberg (2008)
43. Knorr, M., Alferes, J., Hitzler, P.: Local closed-world reasoning with description logics under the well-founded semantics. Artificial Intelligence 175(9-10), 1528-1554 (2011)
44. Knorr, M., Alferes, J., Hitzler, P.: A well-founded semantics for hybrid MKNF knowledge bases. In: Calvanese, D., Franconi, E., Haarslev, V., Lembo, D., Motik, B., Turhan, A.-Y., Tessaris, S. (eds.) Proceedings of the 2007 International Workshop on Description Logics (DL 2007), Brixen-Bressanone, Italy. CEUR Workshop Proceedings, vol. 250 (June 2007)
45. + with nonmonotonic rules. In: Proceeding of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence, pp. 1079-1080. IOS Press, Amsterdam (2010)
46. Knorr, M., Alferes, J.J., Hitzler, P.: A well-founded semantics for hybrid MKNF knowledge bases. In: Description Logics. CEUR Workshop Proceedings, vol. 250, Description Logics. CEUR Workshop Proceedings (2007), CEUR-WS.org
47. Knorr, M., Alferes, J.J., Hitzler, P.: A coherent well-founded model for hybrid MKNF knowledge bases. In: Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence, pp. 99-103. IOS Press, Amsterdam (2008)
48. Krisnadhi, A., Sengupta, K., Hitzler, P.: Local closed world semantics: Keep it simple, stupid! Tech. rep., Kno.e.sis Center, Wright State University, Dayton, Ohio (2011), http://www.pascal-hitzler.de/
49. Krötzsch, M.: Efficient inferencing for OWL EL. In: Janhunen, T., Niemelä, I. (eds.) JELIA 2010. LNCS, vol. 6341, pp. 234-246. Springer, Heidelberg (2010)
50. Krötzsch, M.: Description Logic Rules, Studies on the Semantic Web, vol. 008. IOS Press/AKA (2010)
51. Krötzsch, M., Maier, F., Krisnadhi, A.A., Hitzler, P.: A better uncle for OWL: Nominal schemas for integrating rules and ontologies. In: Sadagopan, S., Ramamritham, K., Kumar, A., Ravindra, M., Bertino, E., Kumar, R. (eds.) Proceedings of the 20th International World Wide Web Conference, WWW 2011, Hyderabad, India, pp. 645-654. ACM, New York (2011)
52. Krötzsch, M., Rudolph, S., Hitzler, P.: Complexity boundaries for Horn description logics. In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, Vancouver, British Columbia, Canada, July 22-26, pp. 452-457. AAAI Press, Menlo Park (2007) (Pubitemid 350149612)
53. Krötzsch, M., Rudolph, S., Hitzler, P.: Description Logic Rules. In: Ghallab, M., Spyropoulos, C.D., Fakotakis, N., Avouris, N.M. (eds.) Proceeding of the 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, vol. 178, pp. 80-84. IOS Press, Amsterdam (2008)
54. Krötzsch, M., Rudolph, S., Hitzler, P.: ELP: Tractable rules for OWL 2. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 649-664. Springer, Heidelberg (2008)
55. Krötzsch, M., Rudolph, S., Schmitt, P.H.: On the semantic relationship between datalog and description logics. In: Hitzler, P., Lukasiewicz, T. (eds.) RR 2010. LNCS, vol. 6333, pp. 88-102. Springer, Heidelberg (2010)
56. Levy, A.Y., Rousset, M.C.: CARIN: A representation language combining Horn rules and description logics. In: Wahlster, W. (ed.) Proceedings of 12th European Conference on Artificial Intelligence, Budapest, Hungary, August 11-16, pp. 323-327. John Wiley and Sons, Chichester (1996)
57. Levy, A.Y., Rousset, M.-C.: Combining Horn rules and description logics in CARIN. Artif. Intell. 104, 165-209 (1998) (Pubitemid 128400989)
58. Lifschitz, V.: Nonmonotonic databases and epistemic queries. In: Proceedings of the 12th International Joint Conference on Artificial Intelligence, vol. 1, pp. 381-386. Morgan Kaufmann Publishers Inc., San Francisco (1991)
59. Lukasiewicz, T.: A novel combination of answer set programming with description logics for the semantic web. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 384-398. Springer, Heidelberg (2007) (Pubitemid 47290021)
60. Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: Proc. of IJCAI 2007, pp. 453-459. AAAI Press, Menlo Park (2007)
61. McGuinness, D., van Harmelen, F. (eds.): OWL Web Ontology Language Overview. W3C Recommendation (10 February 2004), http://www.w3.org/TR/owl- features/
62. Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. Ph.D. thesis, Universität Karlsruhe (TH), Germany (2006)
63. Motik, B., Cuenca Grau, B., Horrocks, I., Sattler, U.: Representing ontologies using description logics, description graphs, and rules. Artificial Intelligence 173(14), 1275-1309 (2009)
64. Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL 2 Web Ontology Language: Profiles. W3C Recommendation (October 27, 2009), http://www.w3.org/TR/owl2-profiles/
65. Motik, B., Horrocks, I., Rosati, R., Sattler, U.: Can OWL and Logic Programming Live Together Happily Ever After? In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 501-514. Springer, Heidelberg (2006) (Pubitemid 44892052)
66. Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. Ph.D. thesis, Universität Karlsruhe (TH), Germany (2006)
67. Motik, B., Grau, B.C., Horrocks, I., Sattler, U.: Representing Structured Objects using Description Graphs. In: Brewka, G., Lang, J. (eds.) Proc. of the 11th Int. Joint Conf. on Principles of Knowledge Representation and Reasoning (KR 2008), August 16-19, pp. 296-306. AAAI Press, Sydney (2008)
68. Motik, B., Grau, B.C., Horrocks, I., Sattler, U.: Modeling Ontologies Using OWL, Description Graphs, and Rules. In: Ruttenberg, A., Sattler, U., Dolbear, C. (eds.) Proc. of the 5th Int. Workshop on OWL: Experiences and Directions (OWLED 2008 EU), Karlsruhe, Germany, October 26-27 (2008)
69. Motik, B., Grau, B.C., Sattler, U.: Structured Objects in OWL: Representation and Reasoning. In: Huai, J., Chen, R., Hon, H.W., Liu, Y., Ma, W.Y., Tomkins, A., Zhang, X. (eds.) Proc. of the 17th Int. World Wide Web Conference (WWW 2008), April 21-25, pp. 555-564. ACM Press, Beijing (2008)
70. Motik, B., Rosati, R.: Closing semantic web ontologies. Tech. rep., University of Manchester, UK (2006)
71. Motik, B., Rosati, R.: A faithful integration of description logics with logic programming. In: Veloso, M.M. (ed.) IJCAI 2007: Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, pp. 477-482 (2007)
72. Motik, B., Rosati, R.: Reconciling Description Logics and Rules. Journal of the ACM 57(5), 1-62 (2010)
73. Motik, B., Sattler, U., Studer, R.: Query Answering for OWL-DL with Rules. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 549-563. Springer, Heidelberg (2004) (Pubitemid 39743907)
74. Motik, B., Sattler, U., Studer, R.: Query answering for OWL-DL with rules. Journal of Web Semantics: Science, Services and Agents on the World Wide Web 3(1), 41-60 (2005) (Pubitemid 40891658)
75. OWL Working Group, W.: OWL 2 Web Ontology Language: Document Overview. W3C Recommendation (October 27, 2009), http://www.w3.org/TR/owl2-overview/
76. Paschke, A.: Rules and Logic Programming for the Web. In: Polleres, A., et al. (eds.) Reasoning Web 2011. LNCS, vol. 6848, pp. 384-417. Springer, Heidelberg (2011)
77. Pearce, D., Valverde, A.: Quantified equilibrium logic and the first order logic of here-and-there. Tech. rep., Univ. Rey Juan Carlos (2006)
78. Rosati, R.: Towards expressive KR systems integrating datalog and description logics: preliminary report. In: Lambrix, P., Borgida, A., Lenzerini, M., Möller, R., Patel-Schneider, P.F. (eds.) Description Logics. CEUR Workshop Proceedings, vol. 22 (1999), CEUR-WS.org
79. Rosati, R.: On the decidability and complexity of integrating ontologies and rules. J. of Web Semant. 3, 61-73 (2005) (Pubitemid 40891659)
80. Rosati, R.: Semantic and computational advantages of the safe integration of ontologies and rules. In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol. 3703, pp. 50-64. Springer, Heidelberg (2005)
81. Rosati, R.: DL+log: Tight integration of description logics and disjunctive datalog. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, pp. 68-78. AAAI Press, Menlo Park (2006)
82. Rosati, R.: Integrating ontologies and rules: Semantic and computational issues. In: Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.) Reasoning Web 2006. LNCS, vol. 4126, pp. 128-151. Springer, Heidelberg (2006) (Pubitemid 44568362)
83. Rudolph, S., Krötzsch, M., Hitzler, P.: Cheap boolean role constructors for description logics. In: Hölldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol. 5293, pp. 362-374. Springer, Heidelberg (2008)
84. Rudolph, S.: Foundations of description logics. In: Polleres, A., et al. (eds.) Reasoning Web 2011. LNCS, vol. 6848, pp. 384-417. Springer, Heidelberg (2011)
85. Rudolph, S., Krötzsch, M., Hitzler, P.: All elephants are bigger than all mice. In: Baader, F., Lutz, C., Motik, B. (eds.) Proceedings of the 21st International Workshop on Description Logics (DL 2008) CEUR Workshop Proceedings, Dresden, Germany, May 13-16, vol. 353 (2008)
86. Schindlauer, R.: Answer-Set Programming for the Semantic Web. Ph.D. thesis, Vienna University of Technology, Austria (2006)
87. Tsarkov, D., Sattler, U., Stevens, R.: A solution for the Man-Man problem in the Family History Knowledge Base. In: Hoekstra, R., Patel-Schneider, P.F. (eds.) Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009) CEUR Workshop Proceedings, Chantilly, VA, United States, October 23-24, vol. 529 (2009)
88. Volz, R.: Web Ontology Reasoning With Logic Databases. Ph.D. thesis, Universität Fridericiana zu Karlsruhe (TH), Germany (2004)