Formal ontology in information systems :: proceedings of the eighth international conference (FOIS 2014) /
Formal Ontology in Information Systems (FOIS) is the flagship conference of the International Association for Ontology and its Applications (IAOA). Its interdisciplinary research focus lies at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam :
IOS Press,
[2014]
|
| Schriftenreihe: | Frontiers in artificial intelligence and applications ;
volume 267. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | Formal Ontology in Information Systems (FOIS) is the flagship conference of the International Association for Ontology and its Applications (IAOA). Its interdisciplinary research focus lies at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general. As in previous years, FOIS 2014 was a nexus of interdi. |
| Beschreibung: | International conference proceedings. Includes indexes. |
| Beschreibung: | 1 online resource |
| Bibliographie: | Includes bibliographical references at the end of each chapters and indexes. |
| ISBN: | 9781614994381 1614994382 |
Internformat
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn894508690 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu|||unuuu | ||
| 008 | 141105s2014 ne ob 101 0 eng d | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d IOSPR |d E7B |d VRC |d N$T |d OCLCF |d OCL |d OCLCO |d OCLCQ |d OCLCO |d AZK |d AGLDB |d MOR |d CCO |d PIFAG |d VGM |d OCLCA |d OCLCQ |d U3W |d STF |d VTS |d INT |d VT2 |d AU@ |d OCLCQ |d TKN |d OCLCQ |d OCLCO |d OCLCQ |d QGK |d OCLCO | ||
| 066 | |c (S | ||
| 019 | |a 961504250 |a 1259272428 | ||
| 020 | |a 9781614994381 |q (electronic bk.) | ||
| 020 | |a 1614994382 |q (electronic bk.) | ||
| 020 | |z 9781614994374 | ||
| 035 | |a (OCoLC)894508690 |z (OCoLC)961504250 |z (OCoLC)1259272428 | ||
| 050 | 4 | |a TK5105.88815 | |
| 072 | 7 | |a COM |x COM004000 |2 bisacsh | |
| 072 | 7 | |a COM |x 000000 |2 bisacsh | |
| 082 | 7 | |a 006.3/32 |2 23 | |
| 049 | |a MAIN | ||
| 111 | 2 | |a FOIS (Conference) |n (8th : |d 2014 : |c Rio de Janeiro, Brazil) | |
| 245 | 1 | 0 | |a Formal ontology in information systems : |b proceedings of the eighth international conference (FOIS 2014) / |c edited by Pawel Garbacz and Oliver Kutz. |
| 246 | 3 | |a FOIS 2014 | |
| 264 | 1 | |a Amsterdam : |b IOS Press, |c [2014] | |
| 264 | 4 | |c ©2014 | |
| 300 | |a 1 online resource | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Frontiers in Artificial Intelligence and Applications ; |v volume 267 | |
| 500 | |a International conference proceedings. | ||
| 500 | |a Includes indexes. | ||
| 588 | 0 | |a Online resource; title from PDF title page (IOS Press, viewed November 12, 2014). | |
| 504 | |a Includes bibliographical references at the end of each chapters and indexes. | ||
| 505 | 0 | |6 880-01 |a Title Page; Preface; FOIS 2014 Conference Organisation; Contents; I. Keynotes; What Have We Learned in Formal Semantics About Ontology?; A New Theory of Vagueness; Ontological Analysis and Conceptual Modeling: Achievements and Perspectives; Is It Time to Talk About First-Person Meanings in Computer Programs?; II. Foundations; A Sideways Look at Upper Ontologies; Logical Operators for Ontological Modeling; Interdependence Among Material Objects and Voids; Voids and Material Constitution Across Physical Granularities; Adding Convexity to Mereotopology. | |
| 505 | 8 | |a A First-Order Formalization of Event, Object, Process and Role in YAMATOStates, Events, and Truth-Makers; III. Processes, Agency, and Dispositions; Mathematical Foundations for Participation Ontologies; A Formal Theory for Conceptualizing Artefacts and Tool Manipulations; An Ontology for the Business Process Modelling Notation; Events and Activities: Is There an Ontology Behind BPMN?; Newtonian Forces and Causation: A Dispositional Account; Resilience as a Disposition; The Ontology of Group Agency; IV. Methods and Tools. | |
| 505 | 8 | |a Aspect-Oriented Ontologies: Dynamic Modularization Using Ontological MetamodelingCorpus Guided Sense Cluster Analysis: A Methodology for Ontology Development (with Examples from the Spatial Domain); Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal Ontology; The Unique Predication of Knowledge Elements and Their Visualization and Factorization in Ontology Engineering; Crowd-Sourcing Ontology Content and Curation: The Massive Ontology Interface; V. Applications; Conceptual Models of Energy Transfer and Regulation. | |
| 505 | 8 | |a An Ontology-Based Taxonomic Key for Afrotropical BeesAn Ontological Analysis of Reference in Health Record Statements; ContoExam: An Ontology on Context-Aware Examinations; Towards an Ontology of Software: A Requirements Engineering Perspective; An Ontological Analysis of the ISO/IEC 24744 Metamodel; An Ontological Interpretation of Non-Functional Requirements; An Ontological Core for Conformance Checking in the Engineering Life-cycle; Ontology-Based Data Management for the Italian Public Debt; An Ontology for the t-Theory of Enterprise Engineering. | |
| 505 | 8 | |a Unit of Organizational Learning Ontology Based on LOM Standard and IMS Learning DesignVI. Ontology Competition (Short Papers); The Cardiovascular Disease Ontology; KB_Bio_101: Content and Challenges; An Ontology for Personalized Environmental Decision Support; Towards Ontological Support for Principle Solutions in Mechanical Engineering; Subject Index; Author Index. | |
| 520 | |a Formal Ontology in Information Systems (FOIS) is the flagship conference of the International Association for Ontology and its Applications (IAOA). Its interdisciplinary research focus lies at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general. As in previous years, FOIS 2014 was a nexus of interdi. | ||
| 546 | |a English. | ||
| 650 | 0 | |a Ontologies (Information retrieval) |v Congresses. | |
| 650 | 0 | |a Formal methods (Computer science) |v Congresses. | |
| 650 | 4 | |a Conceptual structures (Information theory) |v Congresses. | |
| 650 | 4 | |a Database design |v Congresses. | |
| 650 | 4 | |a Expert systems (Computer science) |v Congresses. | |
| 650 | 4 | |a Knowledge representation (Information theory) |v Congresses. | |
| 650 | 4 | |a Ontology |v Congresses. | |
| 650 | 6 | |a Ontologies (Recherche de l'information) |v Congrès. | |
| 650 | 6 | |a Méthodes formelles (Informatique) |v Congrès. | |
| 650 | 7 | |a COMPUTERS |x General. |2 bisacsh | |
| 650 | 7 | |a Formal methods (Computer science) |2 fast | |
| 650 | 7 | |a Ontologies (Information retrieval) |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Garbacz, Paweł, |e editor. |0 http://id.loc.gov/authorities/names/n2008010617 | |
| 700 | 1 | |a Kutz, Oliver, |e editor. |0 http://id.loc.gov/authorities/names/no2011183728 | |
| 776 | 0 | 8 | |i Print version: |a FOIS (Conference) (8th : 2014). |t Formal ontology in information systems : proceedings of the eighth International Conference (FOIS 2014). |d Amsterdam, Netherlands : IOS Press, ©2014 |h xvii, 436 pages |k Frontiers in artificial intelligence and applications ; Volume 267 |z 9781614994374 |
| 830 | 0 | |a Frontiers in artificial intelligence and applications ; |v volume 267. |0 http://id.loc.gov/authorities/names/n92019289 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=873955 |3 Volltext |
| 880 | 0 | 0 | |6 505-01/(S |g Machine generated contents note: |t What Have We Learned in Formal Semantics About Ontology/ |r Pawel Garbacz / |r Oliver Kutz -- |t New Theory of Vagueness / |r Nicholas Asher -- |t Ontological Analysis and Conceptual Modeling: Achievements and Perspectives / |r Kit Fine -- |t Is It Time to Talk About First-Person Meanings in Computer Programs/ |r Nicola Guarino -- |t Sideways Look at Upper Ontologies / |r Clarisse Sieckenius de Souza -- |t Logical Operators for Ontological Modeling / |r Carmen Chui / |r Megan Katsumi / |r Michael Grüninger / |r Torsten Hahmann -- |t Interdependence Among Material Objects and Voids / |r Daniele Porello / |r Stefano Borgo / |r Nicolas Troquard -- |t Voids and Material Constitution Across Physical Granularities / |r Torsten Hahmann / |r Boyan Brodaric / |r Michael Grüninger -- |t Adding Convexity to Mereotopology / |r Torsten Hahmann / |r Boyan Brodaric -- |t First-Order Formalization of Event, Object, Process and Role in YAMATO / |r Marion Haemmerli / |r Achille C. Varzi -- |t States, Events and Truth-Makers / |r Stefano Borgo / |r Riichiro Mizoguchi -- |t Mathematical Foundations for Participation Ontologies / |r Alessander Botti Benevides / |r Claudio Masolo -- |t Formal Theory for Conceptualizing Artefacts and Tool Manipulations / |r Carmen Chui / |r Michael Grüninger -- |t Ontology for the Business Process Modelling Notation / |r Nicolas Troquard -- |t Events and Activities: Is There an Ontology Behind BPMN/ |r Marco Rospocher / |r Chiara Ghidini / |r Luciano Serafini -- |t Newtonian Forces and Causation: A Dispositional Account / |r Emilio M Sanfilippo / |r Stefano Borgo / |r Claudio Masolo -- |t Resilience as a Disposition / |r Adrien Barton / |r Robert Rovetto / |r Riichiro Mizoguchi -- |t Ontology of Group Agency / |r Desiree Daniel -- |t Aspect-Oriented Ontologies: Dynamic Modularization Using Ontological Metamodeling / |r Daniele Porello / |r Emanuele Bottazzi / |r Roberta Ferrario -- |t Corpus Guided Sense Cluster Analysis: A Methodology for Ontology Development (with Examples from the Spatial Domain) / |r Ralph Schäfermeier / |r Adrian Paschke -- |t Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal Ontology / |r Brandon Bennett / |r Claudia Cialone -- |t Unique Predication of Knowledge Elements and Their Visualization and Factorization in Ontology Engineering / |r Selja Seppälä / |r Barry Smith / |r Werner Ceusters -- |t Crowd-Sourcing Ontology Content and Curation: The Massive Ontology Interface / |r Hermann Bense -- |t Conceptual Models of Energy Transfer and Regulation / |r Samuel Sarjant / |r Catherine Legg / |r Matt Stannett / |r Duncan Willcock -- |t Ontology-Based Taxonomic Key for Afrotropical Bees / |r Vinay K. Chaudhri / |r Nikhil Dinesh / |r Stijn Heyman -- |t Ontological Analysis of Reference in Health Record Statements / |r Aurona Gerber / |r Connal Eardley / |r Nishal Morar -- |t ContoExam: An Ontology on Context-Aware Examinations / |r Stefan Schulz / |r Catalina Martinez-Costa / |r Daniel Karlsson / |r Ronald Cornet / |r Mathias Brochhausen / |r Alan Rector -- |t Towards an Ontology of Software: A Requirements Engineering Perspective / |r Paul Brandt / |r Twan Basten / |r Sander Stuijk -- |t Ontological Analysis of the ISO/IEC 24744 Metamodel / |r Xiaowei Wang / |r Nicola Guarino / |r Giancarlo Guizzardi / |r John Mylopoulos -- |t Ontological Interpretation of Non-Functional Requirements / |r Fabian B. Ruy / |r Ricardo A. Falbo / |r Monalessa P. Barcellos / |r Giancarlo Guizzardi -- |t Ontological Core for Conformance Checking in the Engineering Life-cycle / |r Renata Guizzardi / |r Feng-Lin Li / |r Alexander Borgida / |r Giancarlo Guizzardi / |r Jennifer Horkoff / |r John Mylopoulos -- |t Ontology-Based Data Management for the Italian Public Debt / |r Andreas Jordan / |r Matt Selway / |r Wolfgang Mayer / |r Georg Grossmann / |r Markus Stumptner -- |t Ontology for the τ-Theory of Enterprise Engineering / |r Natalia Antonioli / |r Francesco Castanò / |r Spartaco Coletta / |r Stefano Grossi / |r Domenico Lembo / |r Maurizio Lenzerini / |r Antonella Poggi / |r Emanuela Virardi / |r Patrizia Castracane -- |t Unit of Organizational Learning Ontology Based on LOM Standard and IMS Learning Design / |r Jan Dietz / |r David Aveiro / |r João Pombinho / |r Jan Hoogervorst -- |t Cardiovascular Disease Ontology / |r André Menolli / |r H. Sofia Pinto / |r Sheila Reinehr / |r Andreia Malucelli -- |t KB_Bio_101: Content and Challenges / |r Adrien Barton / |r Arnaud Rosier / |r Anita Burgun / |r Jean-François Ethier -- |t Ontology for Personalized Environmental Decision Support / |r Vinay K. Chaudhri / |r Daniel Elenius / |r Sue Hinojoza / |r Michael Wessel -- |t Towards Ontological Support for Principle Solutions in Mechanical Engineering / |r Marco Rospocher. |
| 938 | |a ebrary |b EBRY |n ebr10955549 | ||
| 938 | |a EBSCOhost |b EBSC |n 873955 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn894508690 |
|---|---|
| _version_ | 1816882292728004609 |
| adam_text | |
| any_adam_object | |
| author2 | Garbacz, Paweł Kutz, Oliver |
| author2_role | edt edt |
| author2_variant | p g pg o k ok |
| author_GND | http://id.loc.gov/authorities/names/n2008010617 http://id.loc.gov/authorities/names/no2011183728 |
| author_corporate | FOIS (Conference) Rio de Janeiro, Brazil) |
| author_corporate_role | |
| author_facet | Garbacz, Paweł Kutz, Oliver FOIS (Conference) Rio de Janeiro, Brazil) |
| author_sort | FOIS (Conference) Rio de Janeiro, Brazil) |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | T - Technology |
| callnumber-label | TK5105 |
| callnumber-raw | TK5105.88815 |
| callnumber-search | TK5105.88815 |
| callnumber-sort | TK 45105.88815 |
| callnumber-subject | TK - Electrical and Nuclear Engineering |
| collection | ZDB-4-EBA |
| contents | Title Page; Preface; FOIS 2014 Conference Organisation; Contents; I. Keynotes; What Have We Learned in Formal Semantics About Ontology?; A New Theory of Vagueness; Ontological Analysis and Conceptual Modeling: Achievements and Perspectives; Is It Time to Talk About First-Person Meanings in Computer Programs?; II. Foundations; A Sideways Look at Upper Ontologies; Logical Operators for Ontological Modeling; Interdependence Among Material Objects and Voids; Voids and Material Constitution Across Physical Granularities; Adding Convexity to Mereotopology. A First-Order Formalization of Event, Object, Process and Role in YAMATOStates, Events, and Truth-Makers; III. Processes, Agency, and Dispositions; Mathematical Foundations for Participation Ontologies; A Formal Theory for Conceptualizing Artefacts and Tool Manipulations; An Ontology for the Business Process Modelling Notation; Events and Activities: Is There an Ontology Behind BPMN?; Newtonian Forces and Causation: A Dispositional Account; Resilience as a Disposition; The Ontology of Group Agency; IV. Methods and Tools. Aspect-Oriented Ontologies: Dynamic Modularization Using Ontological MetamodelingCorpus Guided Sense Cluster Analysis: A Methodology for Ontology Development (with Examples from the Spatial Domain); Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal Ontology; The Unique Predication of Knowledge Elements and Their Visualization and Factorization in Ontology Engineering; Crowd-Sourcing Ontology Content and Curation: The Massive Ontology Interface; V. Applications; Conceptual Models of Energy Transfer and Regulation. An Ontology-Based Taxonomic Key for Afrotropical BeesAn Ontological Analysis of Reference in Health Record Statements; ContoExam: An Ontology on Context-Aware Examinations; Towards an Ontology of Software: A Requirements Engineering Perspective; An Ontological Analysis of the ISO/IEC 24744 Metamodel; An Ontological Interpretation of Non-Functional Requirements; An Ontological Core for Conformance Checking in the Engineering Life-cycle; Ontology-Based Data Management for the Italian Public Debt; An Ontology for the t-Theory of Enterprise Engineering. Unit of Organizational Learning Ontology Based on LOM Standard and IMS Learning DesignVI. Ontology Competition (Short Papers); The Cardiovascular Disease Ontology; KB_Bio_101: Content and Challenges; An Ontology for Personalized Environmental Decision Support; Towards Ontological Support for Principle Solutions in Mechanical Engineering; Subject Index; Author Index. |
| ctrlnum | (OCoLC)894508690 |
| dewey-full | 006.3/32 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3/32 |
| dewey-search | 006.3/32 |
| dewey-sort | 16.3 232 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>11181cam a2200757 i 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn894508690</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu|||unuuu</controlfield><controlfield tag="008">141105s2014 ne ob 101 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">IOSPR</subfield><subfield code="d">E7B</subfield><subfield code="d">VRC</subfield><subfield code="d">N$T</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">AZK</subfield><subfield code="d">AGLDB</subfield><subfield code="d">MOR</subfield><subfield code="d">CCO</subfield><subfield code="d">PIFAG</subfield><subfield code="d">VGM</subfield><subfield code="d">OCLCA</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">U3W</subfield><subfield code="d">STF</subfield><subfield code="d">VTS</subfield><subfield code="d">INT</subfield><subfield code="d">VT2</subfield><subfield code="d">AU@</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">TKN</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">QGK</subfield><subfield code="d">OCLCO</subfield></datafield><datafield tag="066" ind1=" " ind2=" "><subfield code="c">(S</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">961504250</subfield><subfield code="a">1259272428</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614994381</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1614994382</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781614994374</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)894508690</subfield><subfield code="z">(OCoLC)961504250</subfield><subfield code="z">(OCoLC)1259272428</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">TK5105.88815</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">COM004000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">000000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">006.3/32</subfield><subfield code="2">23</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">FOIS (Conference)</subfield><subfield code="n">(8th :</subfield><subfield code="d">2014 :</subfield><subfield code="c">Rio de Janeiro, Brazil)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal ontology in information systems :</subfield><subfield code="b">proceedings of the eighth international conference (FOIS 2014) /</subfield><subfield code="c">edited by Pawel Garbacz and Oliver Kutz.</subfield></datafield><datafield tag="246" ind1="3" ind2=" "><subfield code="a">FOIS 2014</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam :</subfield><subfield code="b">IOS Press,</subfield><subfield code="c">[2014]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Frontiers in Artificial Intelligence and Applications ;</subfield><subfield code="v">volume 267</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">International conference proceedings.</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes indexes.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Online resource; title from PDF title page (IOS Press, viewed November 12, 2014).</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references at the end of each chapters and indexes.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="6">880-01</subfield><subfield code="a">Title Page; Preface; FOIS 2014 Conference Organisation; Contents; I. Keynotes; What Have We Learned in Formal Semantics About Ontology?; A New Theory of Vagueness; Ontological Analysis and Conceptual Modeling: Achievements and Perspectives; Is It Time to Talk About First-Person Meanings in Computer Programs?; II. Foundations; A Sideways Look at Upper Ontologies; Logical Operators for Ontological Modeling; Interdependence Among Material Objects and Voids; Voids and Material Constitution Across Physical Granularities; Adding Convexity to Mereotopology.</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">A First-Order Formalization of Event, Object, Process and Role in YAMATOStates, Events, and Truth-Makers; III. Processes, Agency, and Dispositions; Mathematical Foundations for Participation Ontologies; A Formal Theory for Conceptualizing Artefacts and Tool Manipulations; An Ontology for the Business Process Modelling Notation; Events and Activities: Is There an Ontology Behind BPMN?; Newtonian Forces and Causation: A Dispositional Account; Resilience as a Disposition; The Ontology of Group Agency; IV. Methods and Tools.</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Aspect-Oriented Ontologies: Dynamic Modularization Using Ontological MetamodelingCorpus Guided Sense Cluster Analysis: A Methodology for Ontology Development (with Examples from the Spatial Domain); Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal Ontology; The Unique Predication of Knowledge Elements and Their Visualization and Factorization in Ontology Engineering; Crowd-Sourcing Ontology Content and Curation: The Massive Ontology Interface; V. Applications; Conceptual Models of Energy Transfer and Regulation.</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">An Ontology-Based Taxonomic Key for Afrotropical BeesAn Ontological Analysis of Reference in Health Record Statements; ContoExam: An Ontology on Context-Aware Examinations; Towards an Ontology of Software: A Requirements Engineering Perspective; An Ontological Analysis of the ISO/IEC 24744 Metamodel; An Ontological Interpretation of Non-Functional Requirements; An Ontological Core for Conformance Checking in the Engineering Life-cycle; Ontology-Based Data Management for the Italian Public Debt; An Ontology for the t-Theory of Enterprise Engineering.</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Unit of Organizational Learning Ontology Based on LOM Standard and IMS Learning DesignVI. Ontology Competition (Short Papers); The Cardiovascular Disease Ontology; KB_Bio_101: Content and Challenges; An Ontology for Personalized Environmental Decision Support; Towards Ontological Support for Principle Solutions in Mechanical Engineering; Subject Index; Author Index.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Formal Ontology in Information Systems (FOIS) is the flagship conference of the International Association for Ontology and its Applications (IAOA). Its interdisciplinary research focus lies at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general. As in previous years, FOIS 2014 was a nexus of interdi.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Ontologies (Information retrieval)</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Formal methods (Computer science)</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Conceptual structures (Information theory)</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Database design</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Expert systems (Computer science)</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Knowledge representation (Information theory)</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ontology</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Ontologies (Recherche de l'information)</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Méthodes formelles (Informatique)</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Formal methods (Computer science)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ontologies (Information retrieval)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Conference papers and proceedings</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Garbacz, Paweł,</subfield><subfield code="e">editor.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n2008010617</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kutz, Oliver,</subfield><subfield code="e">editor.</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2011183728</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">FOIS (Conference) (8th : 2014).</subfield><subfield code="t">Formal ontology in information systems : proceedings of the eighth International Conference (FOIS 2014).</subfield><subfield code="d">Amsterdam, Netherlands : IOS Press, ©2014</subfield><subfield code="h">xvii, 436 pages</subfield><subfield code="k">Frontiers in artificial intelligence and applications ; Volume 267</subfield><subfield code="z">9781614994374</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Frontiers in artificial intelligence and applications ;</subfield><subfield code="v">volume 267.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n92019289</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=873955</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="880" ind1="0" ind2="0"><subfield code="6">505-01/(S</subfield><subfield code="g">Machine generated contents note:</subfield><subfield code="t">What Have We Learned in Formal Semantics About Ontology/</subfield><subfield code="r">Pawel Garbacz /</subfield><subfield code="r">Oliver Kutz --</subfield><subfield code="t">New Theory of Vagueness /</subfield><subfield code="r">Nicholas Asher --</subfield><subfield code="t">Ontological Analysis and Conceptual Modeling: Achievements and Perspectives /</subfield><subfield code="r">Kit Fine --</subfield><subfield code="t">Is It Time to Talk About First-Person Meanings in Computer Programs/</subfield><subfield code="r">Nicola Guarino --</subfield><subfield code="t">Sideways Look at Upper Ontologies /</subfield><subfield code="r">Clarisse Sieckenius de Souza --</subfield><subfield code="t">Logical Operators for Ontological Modeling /</subfield><subfield code="r">Carmen Chui /</subfield><subfield code="r">Megan Katsumi /</subfield><subfield code="r">Michael Grüninger /</subfield><subfield code="r">Torsten Hahmann --</subfield><subfield code="t">Interdependence Among Material Objects and Voids /</subfield><subfield code="r">Daniele Porello /</subfield><subfield code="r">Stefano Borgo /</subfield><subfield code="r">Nicolas Troquard --</subfield><subfield code="t">Voids and Material Constitution Across Physical Granularities /</subfield><subfield code="r">Torsten Hahmann /</subfield><subfield code="r">Boyan Brodaric /</subfield><subfield code="r">Michael Grüninger --</subfield><subfield code="t">Adding Convexity to Mereotopology /</subfield><subfield code="r">Torsten Hahmann /</subfield><subfield code="r">Boyan Brodaric --</subfield><subfield code="t">First-Order Formalization of Event, Object, Process and Role in YAMATO /</subfield><subfield code="r">Marion Haemmerli /</subfield><subfield code="r">Achille C. Varzi --</subfield><subfield code="t">States, Events and Truth-Makers /</subfield><subfield code="r">Stefano Borgo /</subfield><subfield code="r">Riichiro Mizoguchi --</subfield><subfield code="t">Mathematical Foundations for Participation Ontologies /</subfield><subfield code="r">Alessander Botti Benevides /</subfield><subfield code="r">Claudio Masolo --</subfield><subfield code="t">Formal Theory for Conceptualizing Artefacts and Tool Manipulations /</subfield><subfield code="r">Carmen Chui /</subfield><subfield code="r">Michael Grüninger --</subfield><subfield code="t">Ontology for the Business Process Modelling Notation /</subfield><subfield code="r">Nicolas Troquard --</subfield><subfield code="t">Events and Activities: Is There an Ontology Behind BPMN/</subfield><subfield code="r">Marco Rospocher /</subfield><subfield code="r">Chiara Ghidini /</subfield><subfield code="r">Luciano Serafini --</subfield><subfield code="t">Newtonian Forces and Causation: A Dispositional Account /</subfield><subfield code="r">Emilio M Sanfilippo /</subfield><subfield code="r">Stefano Borgo /</subfield><subfield code="r">Claudio Masolo --</subfield><subfield code="t">Resilience as a Disposition /</subfield><subfield code="r">Adrien Barton /</subfield><subfield code="r">Robert Rovetto /</subfield><subfield code="r">Riichiro Mizoguchi --</subfield><subfield code="t">Ontology of Group Agency /</subfield><subfield code="r">Desiree Daniel --</subfield><subfield code="t">Aspect-Oriented Ontologies: Dynamic Modularization Using Ontological Metamodeling /</subfield><subfield code="r">Daniele Porello /</subfield><subfield code="r">Emanuele Bottazzi /</subfield><subfield code="r">Roberta Ferrario --</subfield><subfield code="t">Corpus Guided Sense Cluster Analysis: A Methodology for Ontology Development (with Examples from the Spatial Domain) /</subfield><subfield code="r">Ralph Schäfermeier /</subfield><subfield code="r">Adrian Paschke --</subfield><subfield code="t">Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal Ontology /</subfield><subfield code="r">Brandon Bennett /</subfield><subfield code="r">Claudia Cialone --</subfield><subfield code="t">Unique Predication of Knowledge Elements and Their Visualization and Factorization in Ontology Engineering /</subfield><subfield code="r">Selja Seppälä /</subfield><subfield code="r">Barry Smith /</subfield><subfield code="r">Werner Ceusters --</subfield><subfield code="t">Crowd-Sourcing Ontology Content and Curation: The Massive Ontology Interface /</subfield><subfield code="r">Hermann Bense --</subfield><subfield code="t">Conceptual Models of Energy Transfer and Regulation /</subfield><subfield code="r">Samuel Sarjant /</subfield><subfield code="r">Catherine Legg /</subfield><subfield code="r">Matt Stannett /</subfield><subfield code="r">Duncan Willcock --</subfield><subfield code="t">Ontology-Based Taxonomic Key for Afrotropical Bees /</subfield><subfield code="r">Vinay K. Chaudhri /</subfield><subfield code="r">Nikhil Dinesh /</subfield><subfield code="r">Stijn Heyman --</subfield><subfield code="t">Ontological Analysis of Reference in Health Record Statements /</subfield><subfield code="r">Aurona Gerber /</subfield><subfield code="r">Connal Eardley /</subfield><subfield code="r">Nishal Morar --</subfield><subfield code="t">ContoExam: An Ontology on Context-Aware Examinations /</subfield><subfield code="r">Stefan Schulz /</subfield><subfield code="r">Catalina Martinez-Costa /</subfield><subfield code="r">Daniel Karlsson /</subfield><subfield code="r">Ronald Cornet /</subfield><subfield code="r">Mathias Brochhausen /</subfield><subfield code="r">Alan Rector --</subfield><subfield code="t">Towards an Ontology of Software: A Requirements Engineering Perspective /</subfield><subfield code="r">Paul Brandt /</subfield><subfield code="r">Twan Basten /</subfield><subfield code="r">Sander Stuijk --</subfield><subfield code="t">Ontological Analysis of the ISO/IEC 24744 Metamodel /</subfield><subfield code="r">Xiaowei Wang /</subfield><subfield code="r">Nicola Guarino /</subfield><subfield code="r">Giancarlo Guizzardi /</subfield><subfield code="r">John Mylopoulos --</subfield><subfield code="t">Ontological Interpretation of Non-Functional Requirements /</subfield><subfield code="r">Fabian B. Ruy /</subfield><subfield code="r">Ricardo A. Falbo /</subfield><subfield code="r">Monalessa P. Barcellos /</subfield><subfield code="r">Giancarlo Guizzardi --</subfield><subfield code="t">Ontological Core for Conformance Checking in the Engineering Life-cycle /</subfield><subfield code="r">Renata Guizzardi /</subfield><subfield code="r">Feng-Lin Li /</subfield><subfield code="r">Alexander Borgida /</subfield><subfield code="r">Giancarlo Guizzardi /</subfield><subfield code="r">Jennifer Horkoff /</subfield><subfield code="r">John Mylopoulos --</subfield><subfield code="t">Ontology-Based Data Management for the Italian Public Debt /</subfield><subfield code="r">Andreas Jordan /</subfield><subfield code="r">Matt Selway /</subfield><subfield code="r">Wolfgang Mayer /</subfield><subfield code="r">Georg Grossmann /</subfield><subfield code="r">Markus Stumptner --</subfield><subfield code="t">Ontology for the τ-Theory of Enterprise Engineering /</subfield><subfield code="r">Natalia Antonioli /</subfield><subfield code="r">Francesco Castanò /</subfield><subfield code="r">Spartaco Coletta /</subfield><subfield code="r">Stefano Grossi /</subfield><subfield code="r">Domenico Lembo /</subfield><subfield code="r">Maurizio Lenzerini /</subfield><subfield code="r">Antonella Poggi /</subfield><subfield code="r">Emanuela Virardi /</subfield><subfield code="r">Patrizia Castracane --</subfield><subfield code="t">Unit of Organizational Learning Ontology Based on LOM Standard and IMS Learning Design /</subfield><subfield code="r">Jan Dietz /</subfield><subfield code="r">David Aveiro /</subfield><subfield code="r">João Pombinho /</subfield><subfield code="r">Jan Hoogervorst --</subfield><subfield code="t">Cardiovascular Disease Ontology /</subfield><subfield code="r">André Menolli /</subfield><subfield code="r">H. Sofia Pinto /</subfield><subfield code="r">Sheila Reinehr /</subfield><subfield code="r">Andreia Malucelli --</subfield><subfield code="t">KB_Bio_101: Content and Challenges /</subfield><subfield code="r">Adrien Barton /</subfield><subfield code="r">Arnaud Rosier /</subfield><subfield code="r">Anita Burgun /</subfield><subfield code="r">Jean-François Ethier --</subfield><subfield code="t">Ontology for Personalized Environmental Decision Support /</subfield><subfield code="r">Vinay K. Chaudhri /</subfield><subfield code="r">Daniel Elenius /</subfield><subfield code="r">Sue Hinojoza /</subfield><subfield code="r">Michael Wessel --</subfield><subfield code="t">Towards Ontological Support for Principle Solutions in Mechanical Engineering /</subfield><subfield code="r">Marco Rospocher.</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10955549</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">873955</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | Conference papers and proceedings fast |
| genre_facet | Conference papers and proceedings |
| id | ZDB-4-EBA-ocn894508690 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-27T13:26:18Z |
| institution | BVB |
| isbn | 9781614994381 1614994382 |
| language | English |
| oclc_num | 894508690 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource |
| psigel | ZDB-4-EBA |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | IOS Press, |
| record_format | marc |
| series | Frontiers in artificial intelligence and applications ; |
| series2 | Frontiers in Artificial Intelligence and Applications ; |
| spelling | FOIS (Conference) (8th : 2014 : Rio de Janeiro, Brazil) Formal ontology in information systems : proceedings of the eighth international conference (FOIS 2014) / edited by Pawel Garbacz and Oliver Kutz. FOIS 2014 Amsterdam : IOS Press, [2014] ©2014 1 online resource text txt rdacontent computer c rdamedia online resource cr rdacarrier Frontiers in Artificial Intelligence and Applications ; volume 267 International conference proceedings. Includes indexes. Online resource; title from PDF title page (IOS Press, viewed November 12, 2014). Includes bibliographical references at the end of each chapters and indexes. 880-01 Title Page; Preface; FOIS 2014 Conference Organisation; Contents; I. Keynotes; What Have We Learned in Formal Semantics About Ontology?; A New Theory of Vagueness; Ontological Analysis and Conceptual Modeling: Achievements and Perspectives; Is It Time to Talk About First-Person Meanings in Computer Programs?; II. Foundations; A Sideways Look at Upper Ontologies; Logical Operators for Ontological Modeling; Interdependence Among Material Objects and Voids; Voids and Material Constitution Across Physical Granularities; Adding Convexity to Mereotopology. A First-Order Formalization of Event, Object, Process and Role in YAMATOStates, Events, and Truth-Makers; III. Processes, Agency, and Dispositions; Mathematical Foundations for Participation Ontologies; A Formal Theory for Conceptualizing Artefacts and Tool Manipulations; An Ontology for the Business Process Modelling Notation; Events and Activities: Is There an Ontology Behind BPMN?; Newtonian Forces and Causation: A Dispositional Account; Resilience as a Disposition; The Ontology of Group Agency; IV. Methods and Tools. Aspect-Oriented Ontologies: Dynamic Modularization Using Ontological MetamodelingCorpus Guided Sense Cluster Analysis: A Methodology for Ontology Development (with Examples from the Spatial Domain); Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal Ontology; The Unique Predication of Knowledge Elements and Their Visualization and Factorization in Ontology Engineering; Crowd-Sourcing Ontology Content and Curation: The Massive Ontology Interface; V. Applications; Conceptual Models of Energy Transfer and Regulation. An Ontology-Based Taxonomic Key for Afrotropical BeesAn Ontological Analysis of Reference in Health Record Statements; ContoExam: An Ontology on Context-Aware Examinations; Towards an Ontology of Software: A Requirements Engineering Perspective; An Ontological Analysis of the ISO/IEC 24744 Metamodel; An Ontological Interpretation of Non-Functional Requirements; An Ontological Core for Conformance Checking in the Engineering Life-cycle; Ontology-Based Data Management for the Italian Public Debt; An Ontology for the t-Theory of Enterprise Engineering. Unit of Organizational Learning Ontology Based on LOM Standard and IMS Learning DesignVI. Ontology Competition (Short Papers); The Cardiovascular Disease Ontology; KB_Bio_101: Content and Challenges; An Ontology for Personalized Environmental Decision Support; Towards Ontological Support for Principle Solutions in Mechanical Engineering; Subject Index; Author Index. Formal Ontology in Information Systems (FOIS) is the flagship conference of the International Association for Ontology and its Applications (IAOA). Its interdisciplinary research focus lies at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general. As in previous years, FOIS 2014 was a nexus of interdi. English. Ontologies (Information retrieval) Congresses. Formal methods (Computer science) Congresses. Conceptual structures (Information theory) Congresses. Database design Congresses. Expert systems (Computer science) Congresses. Knowledge representation (Information theory) Congresses. Ontology Congresses. Ontologies (Recherche de l'information) Congrès. Méthodes formelles (Informatique) Congrès. COMPUTERS General. bisacsh Formal methods (Computer science) fast Ontologies (Information retrieval) fast Conference papers and proceedings fast Garbacz, Paweł, editor. http://id.loc.gov/authorities/names/n2008010617 Kutz, Oliver, editor. http://id.loc.gov/authorities/names/no2011183728 Print version: FOIS (Conference) (8th : 2014). Formal ontology in information systems : proceedings of the eighth International Conference (FOIS 2014). Amsterdam, Netherlands : IOS Press, ©2014 xvii, 436 pages Frontiers in artificial intelligence and applications ; Volume 267 9781614994374 Frontiers in artificial intelligence and applications ; volume 267. http://id.loc.gov/authorities/names/n92019289 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=873955 Volltext 505-01/(S Machine generated contents note: What Have We Learned in Formal Semantics About Ontology/ Pawel Garbacz / Oliver Kutz -- New Theory of Vagueness / Nicholas Asher -- Ontological Analysis and Conceptual Modeling: Achievements and Perspectives / Kit Fine -- Is It Time to Talk About First-Person Meanings in Computer Programs/ Nicola Guarino -- Sideways Look at Upper Ontologies / Clarisse Sieckenius de Souza -- Logical Operators for Ontological Modeling / Carmen Chui / Megan Katsumi / Michael Grüninger / Torsten Hahmann -- Interdependence Among Material Objects and Voids / Daniele Porello / Stefano Borgo / Nicolas Troquard -- Voids and Material Constitution Across Physical Granularities / Torsten Hahmann / Boyan Brodaric / Michael Grüninger -- Adding Convexity to Mereotopology / Torsten Hahmann / Boyan Brodaric -- First-Order Formalization of Event, Object, Process and Role in YAMATO / Marion Haemmerli / Achille C. Varzi -- States, Events and Truth-Makers / Stefano Borgo / Riichiro Mizoguchi -- Mathematical Foundations for Participation Ontologies / Alessander Botti Benevides / Claudio Masolo -- Formal Theory for Conceptualizing Artefacts and Tool Manipulations / Carmen Chui / Michael Grüninger -- Ontology for the Business Process Modelling Notation / Nicolas Troquard -- Events and Activities: Is There an Ontology Behind BPMN/ Marco Rospocher / Chiara Ghidini / Luciano Serafini -- Newtonian Forces and Causation: A Dispositional Account / Emilio M Sanfilippo / Stefano Borgo / Claudio Masolo -- Resilience as a Disposition / Adrien Barton / Robert Rovetto / Riichiro Mizoguchi -- Ontology of Group Agency / Desiree Daniel -- Aspect-Oriented Ontologies: Dynamic Modularization Using Ontological Metamodeling / Daniele Porello / Emanuele Bottazzi / Roberta Ferrario -- Corpus Guided Sense Cluster Analysis: A Methodology for Ontology Development (with Examples from the Spatial Domain) / Ralph Schäfermeier / Adrian Paschke -- Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal Ontology / Brandon Bennett / Claudia Cialone -- Unique Predication of Knowledge Elements and Their Visualization and Factorization in Ontology Engineering / Selja Seppälä / Barry Smith / Werner Ceusters -- Crowd-Sourcing Ontology Content and Curation: The Massive Ontology Interface / Hermann Bense -- Conceptual Models of Energy Transfer and Regulation / Samuel Sarjant / Catherine Legg / Matt Stannett / Duncan Willcock -- Ontology-Based Taxonomic Key for Afrotropical Bees / Vinay K. Chaudhri / Nikhil Dinesh / Stijn Heyman -- Ontological Analysis of Reference in Health Record Statements / Aurona Gerber / Connal Eardley / Nishal Morar -- ContoExam: An Ontology on Context-Aware Examinations / Stefan Schulz / Catalina Martinez-Costa / Daniel Karlsson / Ronald Cornet / Mathias Brochhausen / Alan Rector -- Towards an Ontology of Software: A Requirements Engineering Perspective / Paul Brandt / Twan Basten / Sander Stuijk -- Ontological Analysis of the ISO/IEC 24744 Metamodel / Xiaowei Wang / Nicola Guarino / Giancarlo Guizzardi / John Mylopoulos -- Ontological Interpretation of Non-Functional Requirements / Fabian B. Ruy / Ricardo A. Falbo / Monalessa P. Barcellos / Giancarlo Guizzardi -- Ontological Core for Conformance Checking in the Engineering Life-cycle / Renata Guizzardi / Feng-Lin Li / Alexander Borgida / Giancarlo Guizzardi / Jennifer Horkoff / John Mylopoulos -- Ontology-Based Data Management for the Italian Public Debt / Andreas Jordan / Matt Selway / Wolfgang Mayer / Georg Grossmann / Markus Stumptner -- Ontology for the τ-Theory of Enterprise Engineering / Natalia Antonioli / Francesco Castanò / Spartaco Coletta / Stefano Grossi / Domenico Lembo / Maurizio Lenzerini / Antonella Poggi / Emanuela Virardi / Patrizia Castracane -- Unit of Organizational Learning Ontology Based on LOM Standard and IMS Learning Design / Jan Dietz / David Aveiro / João Pombinho / Jan Hoogervorst -- Cardiovascular Disease Ontology / André Menolli / H. Sofia Pinto / Sheila Reinehr / Andreia Malucelli -- KB_Bio_101: Content and Challenges / Adrien Barton / Arnaud Rosier / Anita Burgun / Jean-François Ethier -- Ontology for Personalized Environmental Decision Support / Vinay K. Chaudhri / Daniel Elenius / Sue Hinojoza / Michael Wessel -- Towards Ontological Support for Principle Solutions in Mechanical Engineering / Marco Rospocher. |
| spellingShingle | Formal ontology in information systems : proceedings of the eighth international conference (FOIS 2014) / Frontiers in artificial intelligence and applications ; Title Page; Preface; FOIS 2014 Conference Organisation; Contents; I. Keynotes; What Have We Learned in Formal Semantics About Ontology?; A New Theory of Vagueness; Ontological Analysis and Conceptual Modeling: Achievements and Perspectives; Is It Time to Talk About First-Person Meanings in Computer Programs?; II. Foundations; A Sideways Look at Upper Ontologies; Logical Operators for Ontological Modeling; Interdependence Among Material Objects and Voids; Voids and Material Constitution Across Physical Granularities; Adding Convexity to Mereotopology. A First-Order Formalization of Event, Object, Process and Role in YAMATOStates, Events, and Truth-Makers; III. Processes, Agency, and Dispositions; Mathematical Foundations for Participation Ontologies; A Formal Theory for Conceptualizing Artefacts and Tool Manipulations; An Ontology for the Business Process Modelling Notation; Events and Activities: Is There an Ontology Behind BPMN?; Newtonian Forces and Causation: A Dispositional Account; Resilience as a Disposition; The Ontology of Group Agency; IV. Methods and Tools. Aspect-Oriented Ontologies: Dynamic Modularization Using Ontological MetamodelingCorpus Guided Sense Cluster Analysis: A Methodology for Ontology Development (with Examples from the Spatial Domain); Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal Ontology; The Unique Predication of Knowledge Elements and Their Visualization and Factorization in Ontology Engineering; Crowd-Sourcing Ontology Content and Curation: The Massive Ontology Interface; V. Applications; Conceptual Models of Energy Transfer and Regulation. An Ontology-Based Taxonomic Key for Afrotropical BeesAn Ontological Analysis of Reference in Health Record Statements; ContoExam: An Ontology on Context-Aware Examinations; Towards an Ontology of Software: A Requirements Engineering Perspective; An Ontological Analysis of the ISO/IEC 24744 Metamodel; An Ontological Interpretation of Non-Functional Requirements; An Ontological Core for Conformance Checking in the Engineering Life-cycle; Ontology-Based Data Management for the Italian Public Debt; An Ontology for the t-Theory of Enterprise Engineering. Unit of Organizational Learning Ontology Based on LOM Standard and IMS Learning DesignVI. Ontology Competition (Short Papers); The Cardiovascular Disease Ontology; KB_Bio_101: Content and Challenges; An Ontology for Personalized Environmental Decision Support; Towards Ontological Support for Principle Solutions in Mechanical Engineering; Subject Index; Author Index. Ontologies (Information retrieval) Congresses. Formal methods (Computer science) Congresses. Conceptual structures (Information theory) Congresses. Database design Congresses. Expert systems (Computer science) Congresses. Knowledge representation (Information theory) Congresses. Ontology Congresses. Ontologies (Recherche de l'information) Congrès. Méthodes formelles (Informatique) Congrès. COMPUTERS General. bisacsh Formal methods (Computer science) fast Ontologies (Information retrieval) fast |
| title | Formal ontology in information systems : proceedings of the eighth international conference (FOIS 2014) / |
| title_alt | FOIS 2014 |
| title_auth | Formal ontology in information systems : proceedings of the eighth international conference (FOIS 2014) / |
| title_exact_search | Formal ontology in information systems : proceedings of the eighth international conference (FOIS 2014) / |
| title_full | Formal ontology in information systems : proceedings of the eighth international conference (FOIS 2014) / edited by Pawel Garbacz and Oliver Kutz. |
| title_fullStr | Formal ontology in information systems : proceedings of the eighth international conference (FOIS 2014) / edited by Pawel Garbacz and Oliver Kutz. |
| title_full_unstemmed | Formal ontology in information systems : proceedings of the eighth international conference (FOIS 2014) / edited by Pawel Garbacz and Oliver Kutz. |
| title_short | Formal ontology in information systems : |
| title_sort | formal ontology in information systems proceedings of the eighth international conference fois 2014 |
| title_sub | proceedings of the eighth international conference (FOIS 2014) / |
| topic | Ontologies (Information retrieval) Congresses. Formal methods (Computer science) Congresses. Conceptual structures (Information theory) Congresses. Database design Congresses. Expert systems (Computer science) Congresses. Knowledge representation (Information theory) Congresses. Ontology Congresses. Ontologies (Recherche de l'information) Congrès. Méthodes formelles (Informatique) Congrès. COMPUTERS General. bisacsh Formal methods (Computer science) fast Ontologies (Information retrieval) fast |
| topic_facet | Ontologies (Information retrieval) Congresses. Formal methods (Computer science) Congresses. Conceptual structures (Information theory) Congresses. Database design Congresses. Expert systems (Computer science) Congresses. Knowledge representation (Information theory) Congresses. Ontology Congresses. Ontologies (Recherche de l'information) Congrès. Méthodes formelles (Informatique) Congrès. COMPUTERS General. Formal methods (Computer science) Ontologies (Information retrieval) Conference papers and proceedings |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=873955 |
| work_keys_str_mv | AT foisconferenceriodejaneirobrazil formalontologyininformationsystemsproceedingsoftheeighthinternationalconferencefois2014 AT garbaczpaweł formalontologyininformationsystemsproceedingsoftheeighthinternationalconferencefois2014 AT kutzoliver formalontologyininformationsystemsproceedingsoftheeighthinternationalconferencefois2014 AT foisconferenceriodejaneirobrazil fois2014 AT garbaczpaweł fois2014 AT kutzoliver fois2014 |