TY - BOOK ID - 15992737 TI - Description Logics in Multimedia Reasoning PY - 2017 SN - 3319540661 3319540653 PB - Cham : Springer International Publishing : Imprint: Springer, DB - UniCat KW - Computer science. KW - Mathematical logic. KW - Computer science KW - Artificial intelligence. KW - Image processing. KW - Computer mathematics. KW - Computer Science. KW - Artificial Intelligence (incl. Robotics). KW - Mathematical Logic and Formal Languages. KW - Image Processing and Computer Vision. KW - Discrete Mathematics in Computer Science. KW - Mathematical Applications in Computer Science. KW - Mathematics. KW - Computer mathematics KW - Discrete mathematics KW - Electronic data processing KW - Pictorial data processing KW - Picture processing KW - Processing, Image KW - Imaging systems KW - Optical data processing KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Informatics KW - Science KW - Computer vision. KW - Computational complexity. KW - Artificial Intelligence. KW - Complexity, Computational KW - Machine vision KW - Vision, Computer KW - Artificial intelligence KW - Image processing KW - Pattern recognition systems KW - Optical data processing. KW - Computer science—Mathematics. KW - Optical computing KW - Visual data processing KW - Integrated optics KW - Photonics KW - Computers KW - Optical equipment UR - https://www.unicat.be/uniCat?func=search&query=sysid:15992737 AB - 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. ER -