Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008) - Volume 183 Frontiers in Artificial Intelligence and Applications
 |
|
Описание:
Since its start ten years ago, the International Conference in Formal Ontology on Information Systems (FOIS) has explored the multiple perspectives on the notion of ontology that have arisen from such diverse research communities as philosophy, logic, computer science, cognitive science, linguistics, and various scientific domains. As ontologies have been applied in new and exciting domains such as the World Wide Web, bioinformatics and geographical information systems, it has become evident that there is a need for ontologies that have been developed with solid theoretical foundations based on philosophical, linguistic and logical analysis. Similarly, there is also a need for theoretical research that is driven by the issues that have been raised by recent work in the more applied domains. FOIS is intended to be a forum in which to explore this interplay between the theoretical insights of formal ontology and their application to information systems and emerging semantic technologies. Themes emerging from this volume give a snapshot of current issues within the fields of formal ontology and ontological engineering, as well as providing a glimpse of future research directions.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
Похожие книги
 | Tensors and the Clifford Algebra: Applications to the Physics of Bosons and Fermions Автор: Charlier Alphonse, Berard Alain Год: 1992 |
| Optimal observation for cyber-physical systems: a fisher-information-matrix-based approach Автор: Zhen Song Год: 2009 |
| Formal Semantics Автор: Paul H. Portner Год: 2008 |
 | Scalable Techniques for Formal Verification Автор: Sandip Ray Год: 2010 |
| Formal Pragmatics Автор: Nirit Kadmon Год: 2001 |
| Quantum Wells, Wires and Dots Автор: Paul Harrison Год: 2006 |