Tightly integrated probabilistic description logic programs for representing ontology mappings

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

Volumn 4932 LNCS, Issue , 2008, Pages 178-198

  Calì, Andrea ^a   Lukasiewicz, Thomas ^b,c   Predoiu, Livia ^d   Stuckenschmidt, Heiner ^d  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

^c VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^d UNIVERSITY OF MANNHEIM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CHLORINE COMPOUNDS; COMPUTABILITY AND DECIDABILITY; COMPUTATIONAL LINGUISTICS; FOUNDATIONS; INFORMATION THEORY; LINGUISTICS; LOGIC PROGRAMMING; ONTOLOGY; PROBABILISTIC LOGICS; PROBABILITY; QUERY LANGUAGES; QUERY PROCESSING; SEMANTIC WEB; SEMANTICS;

ANSWER SET SEMANTICS; BAYESIAN PROBABILITIES; COMPUTATIONAL ASPECTS; CONSISTENCY CHECKING; DESCRIPTION LOGIC; DESCRIPTION LOGICS; DISJUNCTIVE LOGIC PROGRAMS; INTERNATIONAL SYMPOSIUM; KNOWLEDGE SYSTEMS; LOGIC-BASED REPRESENTATION; ONTOLOGY MAPPINGS; POLYNOMIAL DATA; PROBABILISTIC DESCRIPTION; SEMANTIC HETEROGENEITY; SEMANTIC WEB LANGUAGES;

DATA DESCRIPTION;

EID: 49949095594     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-77684-0_14     Document Type: Conference Paper

References (28)

1. Cali, A., Lukasiewicz, T.: Tightly integrated probabilistic description logic programs for the Semantic Web. In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 428-129. Springer, Heidelberg (2007)
2. da Costa, R.C.G.: Bayesian Semantics for the Semantic Web. Doctoral Dissertation, George Mason University, Fairfax, VA, USA (2005)
3. da Costa, P.C.G.,Laskey, K.B.: PR-OWL: A framework for probabilistic ontologies. In: Proc. FOIS-2006, pp. 237-249. IOS Press, Amsterdam (2006)
4. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: DL-Lite: Tractable description logics for ontologies. In: Proc. AAAI-2005, pp. 602-607. AAAI Press / MIT Press (2005)
5. Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3), 314-425 (2001)
6. Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the Semantic Web. In: Proc. KR-2004, pp. 141-151. AAAI Press, California (2004)
7. Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the Semantic Web. Technical Report INFSYS RR1843-07-04, Institut für Informationssysteme, TU Wien (March. 2007)
8. 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)
9. Euzenat, J., Mochol, M., Shvaiko, P., Stuckenschmidt, H., Svab, O., Svatek, V., van Hage, W.R., Yatskevich, M.: First results of the ontology alignment evaluation initiative 2006. In: Proc. ISWC-2006 Workshop on Ontology Matching (2006)
10. Euzenat, J., Shvaiko, P.: Ontology Matching. Springer, Heidelberg (2007)
11. Euzenat, J., Stuckenschmidt, H., Yatskevich, M.: Introduction to the ontology alignment evaluation 2005. In: Proc. K-CAP-2005 Workshop on Integrating Ontologies (2005)
12. Faber, W., Leone, N., Pfeifer, G.: Recursive aggregates in disjunctive logic programs: Semantics and complexity. In: Alferes, J.J., Leite, J.A. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 200-212. Springer, Heidelberg (2004)
13. Finzi, A., Lukasiewicz, T.: Structure-based causes and explanations in the independent choice logic. In: Proc. UAI-2003, pp. 225-232. Morgan Kaufmann, San Francisco (2003)
14. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Comput. 9(3/4), 365-386 (1991)
15. Giugno, R., Lukasiewicz, T.: V-SHOQ(D): A probabilistic extension of SHOQ(D) for probabilistic ontologies in the Semantic Web. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 86-97. Springer, Heidelberg (2002)
16. Horrocks, I., Patel-Schneider, P.F.: Reducing OWL entailment to description logic satisfiability. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 17-29. Springer, Heidelberg (2003)
17. Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol. 1705, pp. 161-180. Springer, Heidelberg (1999)
18. 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)
19. Lukasiewicz, T.: Expressive probabilistic description logics. Artif. Intell. (in press)
20. Lukasiewicz, T.: Probabilistic description logic programs. Int. J. Approx. Reason. 45(2), 288-307 (2007)
21. Lukasiewicz, T.: Tractable probabilistic description logic programs. In: Prade, H., Subrahmanian, V.S. (eds.) SUM 2007. LNCS (LNAI), vol. 4772, pp. 143-156. Springer, Heidelberg (2007)
22. Lukasiewicz, T., Straccia, U.: Top-k retrieval in description logic programs under vagueness for the Semantic Web. In: Prade, H., Subrahmanian, V.S. (eds.) SUM 2007. LNCS (LNAI), vol. 4772, pp. 16-30. Springer, Heidelberg (2007)
23. Meilicke, C., Stuckenschmidt, H., Tamilin, A.: Repairing ontology mappings. In: Proc. AAAI-2007, pp. 1408-1413. AAAI Press, California (2007)
24. 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. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 501-514. Springer, Heidelberg (2006)
25. Wang, P., Xu, B.: Debugging ontology mapping: A static method. Computation and Intelligence (to appear, 2007)
26. Poole, D.: The independent choice logic for modelling multiple agents under uncertainty. Artif. Intell. 94(1/2), 7-56 (1997)
27. Serafini, L., Stuckenschmidt, H., Wache, H.: A formal investigation of mapping languages for terminological knowledge. In: Proc. IJCAI-2005, pp. 576-581 (2005)
28. Straccia, U.: Towards top-k query answering in description logics: The case of DL-Lite. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 439-451. Springer, Heidelberg (2006)