Download App
>> | LShop | >> | Book | >> | Computing & Informat... | >> | Computer Science | >> | Formal Ontologies Me... |
ISBN
:
9781607507840
Publisher
:
IOS Press
Subject
:
Computer Science
Binding
:
HARDCOVER
Pages
:
136
Year
:
2011
₹
9380.0
₹
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 DetailsDescription
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
Formal Semantics and Pragmatics for Natural Language Querying (Cambridge Tracts in Theoretical Computer Science)
James Clifford
Starts At
3679.0
4841.0
24% OFF
Formal Object Oriented Specification Using Object-Z
Gordon Rose
Starts At
5031.0
5851.0
14% OFF
Synchronous Equivalence: Formal Methods for Embedded Systems
Harry Hsieh
Starts At
12282.0
12794.0
4% OFF
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
Modeling Telecom Networks and Systems Architecture: Conceptual Tools and Formal Methods
Thomas Muth
Starts At
9006.0
9382.0
4% OFF
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
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
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
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
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
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
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
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
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
Neural Networks and Artificial Intelligence for Biomedical Engineering
Donna L. Hudson
Starts At
15918.0
18510.0
14% OFF
Godel, Escher, Bach: An Eternal Golden Braid, 20th Anniversary Edition
Douglas R. Hofstadter
Starts At
813.0
1099.0
26% OFF
Designing Concurrent, Distributed, and Real-Time Applications with UML
Hassan Gomaa
Starts At
6079.0
7999.0
24% OFF
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