TY - BOOK AU - Sikos,Leslie F. ED - SpringerLink (Online service) TI - Description Logics in Multimedia Reasoning SN - 9783319540665 AV - Q334-342 U1 - 006.3 23 PY - 2017/// CY - Cham PB - Springer International Publishing, Imprint: Springer KW - Artificial intelligence KW - Mathematical logic KW - Optical data processing KW - Computer science—Mathematics KW - Computer mathematics KW - Artificial Intelligence KW - Mathematical Logic and Formal Languages KW - Image Processing and Computer Vision KW - Discrete Mathematics in Computer Science KW - Mathematical Applications in Computer Science N1 - Multimedia Semantics -- Knowledge Representation with Semantic Web Standards -- The Semantic Gap -- Description Logics: Formal Foundation for Web Ontology -- Multimedia Ontology Engineering -- Ontology-Based Multimedia Reasoning -- References -- Index; Available to subscribing member institutions only. Доступно лише організаціям членам підписки N2 - This book illustrates how to use description logic-based formalisms to their full potential in the creation, indexing, and reuse of multimedia semantics. To do so, it introduces researchers to multimedia semantics by providing an in-depth review of state-of-the-art standards, technologies, ontologies, and software tools. It draws attention to the importance of formal grounding in the knowledge representation of multimedia objects, the potential of multimedia reasoning in intelligent multimedia applications, and presents both theoretical discussions and best practices in multimedia ontology engineering. Readers already familiar with mathematical logic, Internet, and multimedia fundamentals will learn to develop formally grounded multimedia ontologies, and map concept definitions to high-level descriptors. The core reasoning tasks, reasoning algorithms, and industry-leading reasoners are presented, while scene interpretation via reasoning is also demonstrated. Overall, this book offers readers an essential introduction to the formal grounding of web ontologies, as well as a comprehensive collection and review of description logics (DLs) from the perspectives of expressivity and reasoning complexity. It covers best practices for developing multimedia ontologies with formal grounding to guarantee decidability and obtain the desired level of expressivity while maximizing the reasoning potential. The capabilities of such multimedia ontologies are demonstrated by DL implementations with an emphasis on multimedia reasoning applications UR - https://doi.org/10.1007/978-3-319-54066-5 ER -