Formal Ontology in Information Systems

• 

  Formal Ontology in Information Systems: Proceedings of the 10th International Conference (FOIS 2018)

  By S. Borgo, P. Hitzler, O. Kutz

  This volume presents the proceedings of FOIS 2018, held in Cape Town, South Africa, from 19-21 September. It was the 10th edition and 20th anniversary of the conference series.

• 

  Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)

  By Riichiro Mizoguchi, Antony Galton

  In the context of developing formal theories of commonsense psychology, or how peole think they think, we have developed a formal theory of goals. In it we explicate and axiomatize, among others, the goal-related notions of trying, ...

• 

  Formal Ontology in Information Systems: Proceedings of the First International Conference (FOIS'98), June 6-8, Trento, Italy

  By Nicola Guarino

  ... ( candle ) c ) H ( moth candle ) and H ( candlelmoth ) Figure 11 : The straight line in scenario ( a ) and the dot in scenario ( b ) represent respectively the histories H ( moth ) of a moth and II ( candle ) of a candle taken as separate ...

• 

  Formal Ontology in Information Systems: Proceedings of the Seventh International Conference (FOIS 2012)

  By Maureen Donnelly, Giancarlo Guizzardi

  This book presents collected articles from the 7th International Conference on Formal Ontologies (FOIS), held in Graz, Austria, in July 2012.FOIS is a forum which brings together representatives of all major communities involved in the ...

• 

  Formal Ontology in Information Systems: Proceedings of the Seventh International Conference (FOIS 2012)

  By M. Donnelly, G. Guizzardi

  ... are based on dates and times but add domainspecific details. For example, a mortgage document applies simple date concepts Formal Ontology in Information Systems M. Donnelly and G. Guizzardi (Eds.) 265 The Date-Time Vocabulary.

• 

  Formal Ontology in Information Systems: Proceedings of the Third International Conference (FOIS-2004)

  By Achille C. Varzi, Laure Vieu

  ... language . A representative set of time ontologies ( not necessarily an exhaustive set ) is made up of : • The time ontology in Upper Cyc Ontology3 , which is included in the Cyc knowledge base [ 19 ] , and is implemented in KIF [ 20 ] ...

• 

  Formal Ontology in Information Systems: Proceedings of the Eighth International Conference (FOIS 2014)

  By O. Kutz, P. Garbacz

  Papers discussing these ontologies can also be found in this volume. The book will be of interest to all those whose work involves the application of ontologies, and who are looking for a current overview of developments in formal ontology.

• 

  Formal Ontology in Information Systems: Proceedings of the 11th International Conference (FOIS 2020)

  By B. Brodaric, F. Neuhaus

  ... design into smaller components. For some simple artefact, such as a hammer, these options are limited, but this is not so for software artefacts. Even a fairly straight-forward webpage, where all content could be declared in one single ...

• 

  Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)

  By B. Bennett, C. Fellbaum

  This book contains a wide range of areas, all of which are important to the development of formal ontologies.

• 

  Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)

  By Carola Eschenbach, Michael Gruninger

  ... modelling strategies available in a multiplicative formal ontology, and the ... puzzles in formal ontology. For instance, how should we handle artefacts? As ... first-order logic, is a standard means to express properties [3], some ...