Skip to main content
SpringerLink
Log in

Ontology-Based Reasoning Techniques for Multimedia Interpretation and Retrieval

  • Chapter
Semantic Multimedia and Ontologies

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Baader, F., Küsters, R. and Wolter, F. (2003), Extensions to description logics, in Baader, Calvanese, McGuinness, Nardi and Patel-Schneider (2003), chapter pp. 219–261.

    Google Scholar 

  • 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.

    Google Scholar 

  • Bacchus, F. (1990), Representing and Reasoning with Probabilistic Knowledge: A Logical Approach to Probabilities, The MIT Press, Cambridge.

    Google Scholar 

  • 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.

    Google Scholar 

  • Charniak, E. and Goldman, R. (1991), Probabilistic abduction for plan recognition, Technical report, Brown University, Providence, RI, USA.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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)’.

    Google Scholar 

  • 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.

    Google Scholar 

  • Dürig, M. and Studer, T. (2005), Probabilistic abox reasoning: Preliminary results, in ‘Proceedings of the International Description Logics Workshop’, pp. 104–111.

    Google Scholar 

  • 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’.

    Google Scholar 

  • Erman, L. D., Hayes-Roth, F., Lesser, V. R. and Reddy, D. R. (1980), ‘The hearsay-ii speech-understanding system: Integrating knowledge to resolve uncertainty’, ACM Computing Surveys 12(2), 213–253.

    Article  Google Scholar 

  • Flach, P. and Kakas, A., eds (2000), Abduction and Induction: Essays on their Relation and Integration, Kluwer Academic Publishers, USA.

    MATH  Google Scholar 

  • 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.

    Google Scholar 

  • Fuhr, N. (2000), ‘Probabilistic datalog: Implementing logical information retrieval for advanced applications’, Journal of the American Society of Information Science 51(2), 95–110.

    Article  MathSciNet  Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Haarslev, V., Möller, R. and Wessel, M. (2001), The description logic ALCNHR+ extended with concrete domains: A practically motivated approach, in ‘Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2001)’, pp. 29–44.

    Google Scholar 

  • Halpern, J. (1990), An analysis of first-order logics of probability, Artificial Intelligence 46(3), 311–350.

    Article  MATH  MathSciNet  Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Hobbs, J. R., Stickel, M., Appelt, D. and Martin, P. (1993), Interpretation as abduction, Artificial Intelligence 63, 69–142.

    Article  Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Kakas, A. C., Kowalski, R. A. and Toni, F. (1992), ‘Abductive logic programming’, Journal of Logic and Computation 2(6), 719–770.

    Article  MATH  MathSciNet  Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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 Award.

    Google Scholar 

  • Koller, D. and Pfeffer, A. (1998), Probabilistic frame-based systems, in ‘Proceedings of the 15th National Conference on Artificial Intelligence (AAAI), Madison, Wisconsin’.

    Google Scholar 

  • Lehmann, D. J. (1995), Another perspective on default reasoning, Annals of Mathematics and Artificial Intelligence 15(1), 61–82.

    Article  MATH  MathSciNet  Google Scholar 

  • Lukasiewicz, T. (2005a), Probabilistic description logic programs, in ‘Proceedings of ECSQARU’, pp. 737–749.

    Google Scholar 

  • Lukasiewicz, T. (2005b), Stratified probabilistic description logic programs, in ‘Proceedings of ISWC-URSW’, pp. 87–97.

    Google Scholar 

  • 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.

    Google Scholar 

  • Motik, B., Sattler, U. and Studer, R. (2005), Query answering for OWL-DL with rules, Journal of Web Semantics 3(1), 41–60.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Neumann, B. and Weiss, T. (2003), Navigating through logic-based scene models for high-level scene interpretations, in 3rd International Conference on Computer Vision Systems - ICVS 2003, Springer, pp. 212–22.

    Google Scholar 

  • Nilsson, N. (1986), Probabilistic logic, Artificial Intelligence 28, 71–87.

    Article  MATH  MathSciNet  Google Scholar 

  • Nottelmann, H. and Fuhr, N. (2001), Learning probabilistic datalog rules for information classification and transformation, in ‘In Proceedings CIKM’, pp. 387–394.

    Google Scholar 

  • 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’.

    Google Scholar 

  • 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.

    Article  MATH  MathSciNet  Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Poole, D. (1992), Logic programming, abduction and probability, in ‘Proceedings of the International Conference on Fifth Generation Computer Systems (FGCS’92),’, pp. 530–538.

    Google Scholar 

  • 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.

    Article  MATH  Google Scholar 

  • Poole, D. (1993b), Probabilistic horn abduction and bayesian networks, Artificial Intelligence 64(1), 81–129.

    Article  MATH  Google Scholar 

  • Poole, D. (2003), First-order probabilistic inference, in ‘Proceedings International Joint Conference on Artificial Intelligence IJCAI-03’, pp. 985–991.

    Google Scholar 

  • Reiter, R. and Mackworth, A. (1990), ‘A logical framework for depiction and image interpretation’, Artificial Intelligence 41, 125–155.

    Article  MathSciNet  Google Scholar 

  • Russell, S. J. and Norvig, P. (2003), Artifical Intelligence: A Modern Approach, Prentice Hall New Jersey, 2nd edition.

    Google Scholar 

  • 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.

    Google Scholar 

  • Schröder, C. (1999), Bildinterpretatatation durch Modellkonstruktion: Eine Theorie zur rechnergestützten Analyse von Bilder, PhD thesis, Universität Hamburg.

    Google Scholar 

  • 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.

    Google Scholar 

  • Shanahan, M. (2005), ‘Perception as abduction: Turning sensor data into meaningful representation’, Cognitive Science 29, 103–134.

    Article  Google Scholar 

  • Sirin, E. and Parsia, B. (2006), Pellet System Description, in ‘Proceedings of the 2006 Description Logic Workshop (DL 2006)’, CEUR Electronic Workshop Proceedings.

    Google Scholar 

  • Smyth, C. and Poole, D. (2004), Qualitative probabilistic matching with hierarchical descriptions, in ‘Proceedings Knowledge Representation and Reasoning (KR 2004)’.

    Google Scholar 

  • 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’.

    Google Scholar 

  • 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 Web’.

    Google Scholar 

  • 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’.

    Google Scholar 

  • 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’.

    Google Scholar 

  • 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’.

    Google Scholar 

  • Straccia, U. (2001), Reasoning within fuzzy description logics, Journal of Artificial Intelligence Research 14, 137–166.

    MATH  MathSciNet  Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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’.

    Google Scholar 

  • 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’.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Hamburg University of Technology, Hamburg, Germany

    Ralf Möller

Authors
  1. Ralf Möller
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bernd Neumann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Informatics and Telematics Institute, Thermi-Thessaloniki, Greece

    Yiannis Kompatsiaris PhD

  2. Chartered Engineer Motorola Labs, Basingstoke, UK

    Paola Hobson PhD, MBA

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag London Limited

About this chapter

Cite this chapter

Möller, R., Neumann, B. (2008). Ontology-Based Reasoning Techniques for Multimedia Interpretation and Retrieval. In: Kompatsiaris, Y., Hobson, P. (eds) Semantic Multimedia and Ontologies. Springer, London. https://doi.org/10.1007/978-1-84800-076-6_3

Download citation

  • DOI: https://doi.org/10.1007/978-1-84800-076-6_3

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-84800-075-9

  • Online ISBN: 978-1-84800-076-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation