0

My Bag

0.00

Download App

Formal Ontologies Meet Industry:  Proceedings of the 5th International Workshop (FOMI 2011) (Frontiers in Artificial Intelligence and Applications) 14.0%OFF

Formal Ontologies Meet Industry: Proceedings of the 5th International Workshop (FOMI 2011) (Frontiers in Artificial Intelligence and Applications)

by P.E. Vermaas and V. Dignum

  • ISBN

    :  

    9781607507840

  • Publisher

    :  

    IOS Press

  • Subject

    :  

    Computer Science

  • Binding

    :  

    HARDCOVER

  • Pages

    :  

    136

  • Year

    :  

    2011

9380.0

14.0% OFF

8066.0

Buy Now

Shipping charges are applicable for books below Rs. 101.0

View Details

(Imported Edition) Estimated Shipping Time : 20-23 Business Days

View Details

Share it on

  • Description

    Knowledge modeling and the semantic dimension of information plays an increasingly central role in the network economy today. Theoretical research and actual implementations bring up unexpected problems and issues and there is, moreover, an increasing need for solid theoretical foundations for practical applications of ontologies, based on philosophy, linguistics, artificial intelligence and logic. The fifth International workshop Formal Ontology Meets Industry (FOMI 2011), held in Delft, the Netherlands in July 2011, brings together researchers and practitioners involved in this field, without the restrictions of their usual domains of work: business, medicine, engineering, finance, law, biology, geography, electronics, and many more. The nine papers presented here are divided into three sections: Philosophical Foundations of FOMI, Methodological Approaches, and finally, Data Integration. Subjects covered in part one include defining the general notion of technical artifacts in formal ontologies and a philosophy inspired schema to describe applied ontologies. Part two includes a paper on the context and methodological approach for the support of ontology-based annotations and meta data management of clinical trial resources, as well as a presentation of two formal approaches to similarity, the geometric model and feature matching model. In part three, there is a proposal to apply ontologies for Linked Open Data to monitor operational behavior, particularly supply chain risk analysis; this section also includes a description of Gellish, a formal ontological language.IOS Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields. Some of the areas we publish in: -Biomedicine -Oncology -Artificial intelligence -Databases and information systems -Maritime engineering -Nanotechnology -Geoengineering -All aspects of physics -E-governance -E-commerce -The knowledge economy -Urban studies -Arms control -Understanding and responding to terrorism -Medical informatics -Computer Sciences

Related Items

-

of

  • An Introduction to Formal Languages and Automata

    Peter Linz

    Starts At

    495.0

  • OFFER

    Formal Semantics and Pragmatics for Natural Language Querying (Cambridge Tracts in Theoretical Computer Science)

    James Clifford

    Starts At

    3679.0

    4841.0

    24% OFF

  • OFFER

    Applications of Formal Methods

    Michael G. Hinchey

    Starts At

    5208.0

    6056.0

    14% OFF

  • OFFER

    Formal Object Oriented Specification Using Object-Z

    Gordon Rose

    Starts At

    5031.0

    5851.0

    14% OFF

  • OFFER

    Formal Languages and Compilation

    Crespi Reghizzi

    Starts At

    355.0

    399.0

    11% OFF

  • OFFER

    Synchronous Equivalence: Formal Methods for Embedded Systems

    Harry Hsieh

    Starts At

    12282.0

    12794.0

    4% OFF

  • OFFER

    Finiteness and Regularity in Semigroups and Formal Languages (Monographs in Theoretical Computer Science. An EATCS Series)

    Aldo de Luca

    Starts At

    6840.0

    8445.0

    19% OFF

  • OFFER

    Modeling Telecom Networks and Systems Architecture: Conceptual Tools and Formal Methods

    Thomas Muth

    Starts At

    9006.0

    9382.0

    4% OFF

  • Introduction to Formal Languages, Automata Theory and Computation

    Kamala Krithivasan

    Starts At

    599.0

  • OFFER

    Formal Models of Operating System Kernels

    Iain D. Craig

    Starts At

    13101.0

    13647.0

    4% OFF

  • OFFER

    Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)

    Jeremy Gibbons

    Starts At

    8107.0

    8445.0

    4% OFF

  • OFFER

    FM 2009: Formal Methods: Second WorldCongress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

    Ana Cavalcanti

    Starts At

    15477.0

    16122.0

    4% OFF

  • OFFER

    Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected ... / Programming and Software Engineering)

    Darren Cofer

    Starts At

    8107.0

    8445.0

    4% OFF

  • OFFER

    Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art ... / Programming andSoftware Engineering)

    Marcello M. Bonsangue

    Starts At

    8926.0

    9298.0

    4% OFF

  • OFFER

    Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings ... / Programming and Software Engineering)

    Marýa Alpuente

    Starts At

    8107.0

    8445.0

    4% OFF

  • OFFER

    Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December ... / Programming and Software Engineering)

    Karin Breitman

    Starts At

    13101.0

    13647.0

    4% OFF

  • OFFER

    Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised ... / Programming and Software Engineering)

    Marcel Vinýcius Medeiros Oliveira

    Starts At

    8926.0

    9298.0

    4% OFF

  • OFFER

    Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings (Lecture Notesin Computer Science / Programming and Software Engineering)

    Roberto Bruni

    Starts At

    8107.0

    8445.0

    4% OFF

  • OFFER

    Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

    Sýbastien Ferrý

    Starts At

    8926.0

    9298.0

    4% OFF

  • OFFER

    FreeBSD:the Complete Refrence

    Smith

    Starts At

    521.0

    695.0

    25% OFF

  • OFFER

    Optimizing Voice in ATM/IP Mobile Networks

    Juliet Bates

    Starts At

    3948.0

    5561.0

    29% OFF

  • OFFER

    ASP.NET: Developer's Guide

    Greg Buczek

    Starts At

    877.0

    1070.0

    18% OFF

  • Modeling and Asynchronous Distributed Simulation: Analyzing Complex Systems

    Sumit Ghosh

    Starts At

    795.0

  • OFFER

    Neural Networks and Artificial Intelligence for Biomedical Engineering

    Donna L. Hudson

    Starts At

    15918.0

    18510.0

    14% OFF

  • OFFER

    Godel, Escher, Bach: An Eternal Golden Braid, 20th Anniversary Edition

    Douglas R. Hofstadter

    Starts At

    813.0

    1099.0

    26% OFF

  • Biomedical Instrumentation and Measurements

    Weibell J Fred

    Starts At

    350.0

  • OFFER

    WritingBetter Requirements

    Ian Alexander

    Starts At

    8252.0

    9596.0

    14% OFF

  • OFFER

    Designing Concurrent, Distributed, and Real-Time Applications with UML

    Hassan Gomaa

    Starts At

    6079.0

    7999.0

    24% OFF

  • OFFER

    Artificial Life V: Proceedings of the Fifth International Workshop on the Synthesis and Simulation of Living Systems (Complex Adaptive Systems)

    Christopher G. Langton

    Starts At

    6602.0

    7677.0

    14% OFF

© 2016, All rights are reserved.

Subscribe to Our Newsletter

 

Are you sure you want to remove the item from your Bag?

Yes

No

Added to Your Wish List

OK

Your Shopping Bag

- Bag Empty

Your Bag is Empty!!

Item

Delivery

Unit Price

Quantity

Sub Total

Shipping Charges : null Total Savings        : Grand Total :

Order Summary