Theory and Applications of Ontology: Computer Applications

The Interplay Between Ontology as Categorial Analysis and Ontology as Technology.- Ontological Architectures.- Organization and Management of Large Categorical Systems.- The Information Flow Approach to Ontology-Based Semantic Alignment.- Ontological Evaluation and Validation.- Tools for Ontology Engineering and Management.- Ontological Tools: Requirements, Design Issues and Perspectives.- Using the Unified Foundational Ontology (UFO) as a Foundation for General Conceptual Modeling Languages.- Lightweight Ontologies.- WordNet.- Controlled English to Logic Translation.- Cyc.- Ontological Foundations of dolce.- General Formal Ontology (GFO): A Foundational Ontology for Conceptual Modelling.- Ontologies in Biology.- The Ontology of Medical Terminological Systems: Towards the Next Generation of Medical Ontologies.- Ontologies of Language and Language Processing.- Business Ontologies.- Ontologies for E-government.- An Ontology-Driven Approach and a Context Management Framework for Ubiquitous Computing Applications.- Category Theory as a Mathematics for Formalizing Ontologies.- Issues of Logic, Algebra and Topology in Ontology.- The Institutional Approach.- Ontology Engineering, Universal Algebra, and Category Theory.

Roberto Poli (B.A. in sociology, with honors, Ph.D. on ontology for knowledge engineers, Utrecht) is editor-in-chief of Axiomathes (Springer), a peer-reviewed academic journal devoted to the study of ontology and cognitive systems, editor of Categories (Ontos), and member of the Academic Board of Directors of the Metanexus Institute, Philadelphia. His research interests include (1) ontology, in both its traditional philosophical understanding and the new, computer-oriented, understanding, (2) the theory of values and the concept of person and (3) anticipatory systems, i.e. system able to take decisions according to their possible future development. Poli has published four books, edited or co-edited more than 20 books or journal's special issues and published more than 150 scientific papers. He teaches Applied Ethics and Futures Studies at the Faculty of Sociology and gives a course in Ontology at the Faculty of Literature and Philosophy, University of Trento.

Michael J. Healy received a B.A degree in mathematics from Eastern Washington University at Cheney, Washington in 1965 and a M.S. in mathematics from the University of Idaho in 1967. From 1967 through 2001 he worked for The Boeing Company, first as a consultant in nonlinear programming and, beginning in 1989, in research. His research spanned neural networks, machine learning, formal verification, and applications of category theory in software synthesis, knowledge based systems (KBS) engineering (KBSE), and knowledge representation and ontologies for KBS interoperability. He is now a Senior Research Scholar in the Electrical and Computer Engineering Department (ECE) at the University of New Mexico, which he joined in 2000. He continues to pursue his research interests in the semantics of neural networks, cognitive neuroscience, knowledge representation, and ontologies for systems, including computational, cognitive, and social systems. Category theory is the central ma thematical discipline for his

From the reviews:"This book is actually the second volume in a two-volume set on theory and applications of ontology. This volume emphasizes computer applications ... . The 24 chapters are grouped into four main clusters. ... This book is an important contribution to the literature." (Anthony J. Duben, ACM Computing Reviews, January, 2013)