Ontology-based reasoning techniques for multimedia interpretation and retrieval

Semantic Multimedia and Ontologies: Theory and Applications

Volumn , Issue , 2008, Pages 55-98

  Möller, Ralf ^a   Neumann, Bernd ^a  

^a HAMBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84892202774     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/978-1-84800-076-6_3     Document Type: Chapter

References (82)

1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D. and Patel-Schneider, P. F., eds (2003), The Description Logic Handbook: Theory, Implementation and Applications, Cambridge University Press.
2. Baader, F., Franconi, E., Hollunder, B., Nebel, B. and Profitlich, H.-J. (1994), An empirical analysis of optimization techniques for terminological representation systems or: Making KRIS get a move on, Applied Artificial Intelligence. Special Issue on Knowledge Base Management 4, 109-132.
3. Baader, F. and Hanschke, P. (1991), A Schema for Integrating Concrete Domains into Concept Languages, 'in Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI'91)', pp. 452-457.
4. Baader, F., Küsters, R. and Wolter, F. (2003), Extensions to description logics, in Baader, Calvanese, McGuinness, Nardi and Patel-Schneider (2003), chapter 6, pp. 219-261.
5. Baader, F., Lutz, C. and Suntisrivaraporn, B. (2006), CEL-a polynomial-time reasoner for life science ontologies, in U. Furbach and N. Shankar, eds, 'Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR'06)', Vol. 4130 of Lecture Notes in Artificial Intelligence, Springer-Verlag, pp. 287-291.
6. Bacchus, F. (1990), Representing and Reasoning with Probabilistic Knowledge: A Logical Approach to Probabilities, The MIT Press, Cambridge.
7. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M. and Rosati, R. (2005), DL-Lite: Tractable description logics for ontologies, in 'Proceedings of the 20th National Conference on Artificial Intelligence (AAAI 2005)', pp. 602-607.
8. Charniak, E. and Goldman, R. (1991), Probabilistic abduction for plan recognition, Technical report, Brown University, Providence, RI, USA.
9. Colucci, S., Noia, T. D., Sciascio, E. D., Mongiello, M. and Donini, F. M. (2004), Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace, in 'ICEC'04: Proceedings of the 6th International Conference on Electronic Commerce', ACM Press, New York, NY, USA, pp. 41-50.
10. Di Sciascio, E., Donini, F. M. and Mongiello, M. (1999), A description logic for image retrieval, in 'Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence', number 1792 in 'Lecture Notes in Computer Science', Springer, pp. 13-24.
11. Di Sciascio, E., Donini, F. and Mongiello, M. (2000), Semantic indexing in image retrieval using description logic, in 'Proceedings of the 22nd International Conference on Information Technology Interfaces (ITI 2000)', pp. 125-132.
12. Ding, Z. and Peng, Y. (2004), A probabilistic extension to ontology language OWL, in 'Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS)'.
13. Ding, Z., Peng, Y. and Pan, R. (2005), BayesOWL: Uncertainty modeling in semantic web ontologies, in 'Soft Computing in Ontologies and Semantic Web', Springer & Hidelberg.
14. Dürig, M. and Studer, T. (2005), Probabilistic abox reasoning: Preliminary results, in 'Proceedings of the International Description Logics Workshop', pp. 104-111.
15. Elsenbroich, C., Kutz, O. and Sattler, U. (2006), A case for abductive reasoning over ontologies, in 'Proceedings OWL: Experiences and Directions', Athens, Georgia, USA, November 10-11'.
16. Erman, L. D., Hayes-Roth, F., Lesser, V. R. and Reddy, D. R. (1980), 'The hearsay-ii speechunderstanding system: Integrating knowledge to resolve uncertainty', ACM Computing Surveys 12(2), 213-253.
17. Flach, P. and Kakas, A., eds (2000), Abduction and Induction: Essays on their Relation and Integration, Kluwer Academic Publishers, USA.
18. Fuhr, N. (1995), Probabilistic datalog: a logic for powerful retrieval methods, in 'Proceedings of SIGIR-95:18th ACM International Conference on Research and Development in Information Retrieval', pp. 282-290.
19. Fuhr, N. (2000), 'Probabilistic datalog: Implementing logical information retrieval for advanced applications', Journal of the American Society of Information Science 51(2), 95-110.
20. Gabsdil, M., Koller, A. and Striegnitz, K. (2001), Building a text adventure on description logic, in 'International Workshop on Applications of Description Logics', CEUR Electronic Workshop Proceedings.
21. Giugno, R. and Lukasiewicz, T. (2002), P-SHOQ (D): A probabilistic extension of SHOQ (D) for probabilistic ontologies in the semantic web, in 'JELIA'02: Proceedings of the European Conference on Logics in Artificial Intelligence', Springer-Verlag, pp. 86-97.
22. Glimm, B., Horrocks, I., Lutz, C. and Sattler, U. (2007), Conjunctive query answering for the description logic SHIQ, in 'Proceedings of the Twentieth International Joint Conference on Artificial Intelligence IJCAI-07', AAAI Press.
23. Haarslev, V. and Möller, R. (2000), Expressive ABox reasoning with number restrictions, role hierarchies, and transitively closed roles, in 'Proceedings of the 7th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2000)', pp. 273-284.
24. Haarslev, V. and Möller, R. (2001), RACER System Description, in 'Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2001)', Vol. 2083 of Lecture Notes in Computer Science, Springer, pp. 701-705.
25. R+ extended with concrete domains: A practically motivated approach, in 'Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2001)', pp. 29-44.
26. Halpern, J. (1990), An analysis of first-order logics of probability, Artificial Intelligence 46(3), 311-350.
27. Hanson, A. and Riseman, E. (1978), VISIONS: A computer system for interpreting scenes, in A. Hanson and E. Riseman, eds, 'Computer Vision Systems', Academic Press, New York, pp. 303-333.
28. Heinsohn, J. (1994), Probabilistic description logics, in R. L. de Mantaras and D. Poole, eds, 'Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence', Morgan Kaufmann, Seattle, Washington, pp. 311-318.
29. Hobbs, J. R., Stickel, M., Appelt, D. and Martin, P. (1993), Interpretation as abduction, Artificial Intelligence 63, 69-142.
30. Hobbs, J. R., Stickel, M. E., Appelt, D. and Martin, P. (1990), Interpretation as Abduction, Technical Report 499, AI Center, SRI International, Menlo Park, California.
31. Hobbs, J. R., Stickel, M., Martin, P. and Edwards, D. D. (1988), Interpretation as abduction, in'26th Annual Meeting of the Association for Computational Linguistics: Proceedings of the Conference', Buffalo, New York, pp. 95-103.
32. Horrocks, I., Kutz, O. and Sattler, U. (2006), The even more irresistible SROIQ, in 'Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006)', AAAI Press, pp. 57-67.
33. Horrocks, I., Sattler, U., Tessaris, S. and Tobies, S. (2000), How to decide query containment under constraints using a description logic, in 'Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR)', Vol. 1955 of Lecture Notes in Computer Science, Springer, pp. 326-343.
34. Horrocks, I., Sattler, U. and Tobies, S. (2000), Reasoning with individuals for the description logic SHIQ, in D. McAllester, ed., 'Proceedings of the 17th International Conference on Automated Deduction (CADE 2000)', Vol. 1831 of Lecture Notes in Computer Science, Springer, pp. 482-496.
35. Hustadt, U., Motik, B. and Sattler, U. (2004), Reducing SHIQ-Description Logic to Disjunctive Datalog Programs, in 'Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2004)', pp. 152-162.
36. Jaeger, M. (1994), Probabilistic reasoning in terminological logics, in 'Proceedings of the 4th International Conference on the Principles of Knowledge Representation and Reasoning (KR'94)', pp. 305-316.
37. Kakas, A. C., Kowalski, R. A. and Toni, F. (1992), 'Abductive logic programming', Journal of Logic and Computation 2(6), 719-770.
38. Kakas, A. and Denecker, M. (2002), Abduction in logic programming, in A. Kakas and F. Sadri, eds, 'Computational Logic: Logic Programming and Beyond. Part I', number 2407 in 'LNAI', Springer, pp. 402-436.
39. Kaplunova, A., Kaya, A. and Möller, R. (2006), First experiences with load balancing and caching for semantic web applications, Technical report, Institute for Software Systems (STS), Hamburg University of Technology, Germany.
40. Koller, D., Levy, A. and Pfeffer, A. (1997), P-CLASSIC: A tractable probabilistic description logic, in 'Proceedings of the 14th National Conference on Artificial Intelligence (AAAI'97)', AAAI Press/The MIT Press, pp. 390-397.
41. Koller, D. and Pfeffer, A. (1997), Object-oriented Bayesian networks, in 'Proceedings of the 13th Annual Conference on Uncertainty in AI (UAI)', pp. 302-313. Winner of the Best Student Paper Awa rd.
42. Koller, D. and Pfeffer, A. (1998), Probabilistic frame-based systems, in 'Proceedings of the 15th National Conference on Artificial Intelligence (AAAI), Madison, Wisconsin'.
43. Lehmann, D. J. (1995), Another perspective on default reasoning, Annals of Mathematics and Artificial Intelligence 15(1), 61-82.
44. Lukasiewicz, T. (2005a), Probabilistic description logic programs, in 'Proceedings of ECSQARU', pp. 737-749.
45. Lukasiewicz, T. (2005b), Stratified probabilistic description logic programs, in 'Proceedings of ISWC-URSW', pp. 87-97.
46. Möller, R., Haarslev, V. and Neumann, B. (1998), Semantics-based information retrieval, in 'Proceedings IT&KNOWS-98: International Conference on Information Technology and Knowledge Systems, 31. August-4. September, Vienna, Budapest', pp. 49-62.
47. Motik, B., Sattler, U. and Studer, R. (2005), Query answering for OWL-DL with rules, Journal of Web Semantics 3(1), 41-60.
48. Neumann, B. (1985), Retrieving events from geometrical descriptions of time-varying scenes, in J. Schmidt and C. Thanos, eds, 'Foundations of Knowledge Base Management - Contributions from Logic, Databases, and Artificial Intelligence', Springer, New York, pp. 443-452.
49. Neumann, B. and Möller, R. (2006), On scene interpretation with description logics, in H. Christensen and H.-H. Nagel, eds, 'Cognitive Vision Systems: Samping the Spectrum of Approaches', number 3948 in 'LNCS', Springer, pp. 247-278.
50. Neumann, B. and Novak, H.-J. (1983), Event models for recognition and natural language description of events in real-world image sequences, in 'Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI'83)', pp. 724-726.
51. Neumann, B. and Weiss, T. (2003), Navigating through logic-based scene models for high-level scene interpretations, in 3rdInternational Conference on Computer Vision Systems - ICVS 2003, Springer, pp. 212-22.
52. Nilsson, N. (1986), Probabilistic logic, Artificial Intelligence 28, 71-87.
53. Nottelmann, H. and Fuhr, N. (2001), Learning probabilistic datalog rules for information classification and transformation, in 'In Proceedings CIKM', pp. 387-394.
54. Nottelmann, H. and Fuhr, N. (2004), pDAML+OIL: A probabilistic extension to DAML+OIL based on probabilistic datalog, in 'Proceedings Information Processing and Management of Uncertainty in Knowledge-Based Systems'.
55. Nottelmann, H. and Fuhr, N. (2006), Adding probabilities and rules to OWL Lite subsets based on probabilistic datalog, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 14(1), 17-41.
56. Pan, J. Z., Stoilos, G., Stamou, G., Tzouvaras, V. and Horrocks, I. (2006), f-swrl: A fuzzy extension of swrl, Data Semantics, special issue on Emergent Semantics 4090, 28-46.
57. Pfeffer, A., Koller, D., Milch, B. and Takusagawa, K. (1999), SPOOK: A system for probabilistic object-oriented knowledge representation, in 'Proceedings of the Fifteenth Annual Conference on Uncertainty in Artificial Intelligence (UAI-99)', pp. 541-550.
58. Poole, D. (1992), Logic programming, abduction and probability, in 'Proceedings of the International Conference on Fifth Generation Computer Systems (FGCS'92), ', pp. 530-538.
59. Poole, D. (1993a), 'Logic programming, abduction and probability: a top-down anytime algorithm for estimating prior and posterior probabilities', New Generation Computing 11(3-4), 377-400.
60. Poole, D. (1993b), Probabilistic horn abduction and bayesian networks, Artificial Intelligence 64(1), 81-129.
61. Poole, D. (2003), First-order probabilistic inference, in 'Proceedings International Joint Conference on Artificial Intelligence IJCAI-03', pp. 985-991.
62. Reiter, R. and Mackworth, A. (1990), 'A logical framework for depiction and image interpretation', Artificial Intelligence 41, 125-155.
63. Russell, S. J. and Norvig, P. (2003), Artifical Intelligence: A Modern Approach, Prentice Hall New Jersey, 2nd edition.
64. Schober, J.-P., Hermes, T. and Herzog, O. (2005), Picturefinder: Description logics for semantic image retrieval, in 'IEEE International Conference on Multimedia and Expo (ICME)', pp. 1571-1574.
65. Schröder, C. (1999), Bildinterpretatatation durch Modellkonstruktion: Eine Theorie zur rechnergestützten Analyse von Bilder, PhD thesis, Universität Hamburg.
66. Sebastiani, F. (1994), A Probabilistic Terminological Logic for Modelling Information Retrieval, in W. Croft and C. v. Rijsbergen, eds, 'Proceedings of the 17th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval', Springer-Verlag, Dublin, Ireland, pp. 122-130.
67. Shanahan, M. (2005), 'Perception as abduction: Turning sensor data into meaningful representation', Cognitive Science 29, 103-134.
68. Sirin, E. and Parsia, B. (2006), Pellet System Description, in 'Proceedings of the 2006 Description Logic Workshop (DL 2006)', CEUR Electronic Workshop Proceedings.
69. Smyth, C. and Poole, D. (2004), Qualitative probabilistic matching with hierarchical descriptions, in 'Proceedings Knowledge Representation and Reasoning (KR&R 2004)'.
70. Stoilos, G., Stamou, G. and Pan, J. (2006), Handling imprecise knowledge with fuzzy description logic, in 'International Workshop on Description Logics (DL 06), Lake District, UK'.
71. Stoilos, G., Stamou, G., Tzouvaras, V., Pan, J. and Horrocks, I. (2005a), The fuzzy description logic f-shin, in 'International Workshop on Uncertainty Reasoning For the Semantic We b '.
72. Stoilos, G., Stamou, G., Tzouvaras, V., Pan, J. and Horrocks, I. (2005b), A fuzzy description logic for multimedia knowledge representation, in 'Proceedings of the International Workshop on Multimedia and the Semantic Web'.
73. Stoilos, G., Stamou, G., Tzouvaras, V., Pan, J. and Horrocks, I. (2005c), Fuzzy owl: Uncertainty and the semantic web, in 'International Workshop of OWL: Experiences and Directions, Galway'.
74. Stoilos, G., Straccia, U., Stamou, G. and Pan, J. Z. (2006), General concept inclusions in fuzzy description logics, in'17th European Conference on Artificial Intelligence (ECAI 06), Riva del Garda, Italy'.
75. Straccia, U. (2001), Reasoning within fuzzy description logics, Journal of Artificial Intelligence Research 14, 137-166.
76. Tresp, C. B. and Molitor, R. (1998), A description logic for vague knowledge, in 'Proceedings of the 13th European Conference on Artificial Intelligence (ECAI'98)', pp. 361-365.
77. Tsarkov, D. and Horrocks, I. (2006), FaCT++ Description Logic Reasoner: System Description, in 'Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2006)'. To appear.
78. Turhan, A.-Y., Bechhofer, S., Kaplunova, A., Liebig, T., Luther, M., Möller, R., Noppens, O., Patel-Schneider, P., Suntisrivaraporn, B. and Weithöner, T. (2006), DIG 2.0 - towards a flexible interface for description logic reasoners, in B. C. Grau, P. Hitzler, C. Shankey and E. Wallace, eds, 'OWL: Experiences and Directions 2006'.
79. Wessel, M. and Möller, R. (2005), A High performance semantic web query answering engine, in I. Horrocks, U. Sattler and F. Wolter, eds, 'Proceedings International Workshop on Description Logics'.
80. Wessel, M. and Möller, R. (2006), A flexible DL-based architecture for deductive information systems, in G. Sutcliffe, R. Schmidt and S. Schulz, eds, 'Proceedings IJCAR-06 Workshop on Empirically Successful Computerized Reasoning (ESCoR)', pp. 92-111.
81. Yelland, P. Y. (2000), An alternative combination of Baysian networks and description logics, in 'Proceedings of the 7th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2000)', pp. 225-234.
82. Yen, J. (1991), Generalizing term subsumption languages to fuzzy logic, in 'Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI'91)', pp. 472-477.