Cargando…
Formal Ontology in Information Systems.
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
IOS Press,
2014.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Ma 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn893652464 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr |n||||||||| | ||
| 008 | 141024s2014 xx o 000 0 eng d | ||
| 040 | |a IDEBK |b eng |e pn |c IDEBK |d YDXCP |d OCLCO |d OCLCF |d OCL |d OCLCO |d EBLCP |d OCLCQ |d OCLCO |d OCLCQ |d ZCU |d MERUC |d OCLCQ |d ICG |d OCLCQ |d DKC |d AU@ |d OCLCQ |d OCL |d SGP |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 895336854 | ||
| 020 | |a 1322211213 |q (ebk) | ||
| 020 | |a 9781322211213 |q (ebk) | ||
| 020 | |a 9781614994381 |q (electronic bk.) | ||
| 020 | |a 1614994382 |q (electronic bk.) | ||
| 020 | |z 1614994374 | ||
| 020 | |z 9781614994374 | ||
| 029 | 1 | |a DEBBG |b BV044070925 | |
| 035 | |a (OCoLC)893652464 |z (OCoLC)895336854 | ||
| 037 | |a 652401 |b MIL | ||
| 050 | 4 | |a TK5105.88815 |b .F65 2014 | |
| 082 | 0 | 4 | |a 006.3/32 |2 23 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Garbacz, P. | |
| 245 | 1 | 0 | |a Formal Ontology in Information Systems. |
| 260 | |b IOS Press, |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 | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |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"" | |
| 505 | 8 | |a ""Adding Convexity to Mereotopology""""A First-Order Formalization of Event, Object, Process and Role in YAMATO""; ""States, 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"" | |
| 505 | 8 | |a ""IV. Methods and Tools""""Aspect-Oriented Ontologies: Dynamic Modularization Using Ontological Metamodeling""; ""Corpus 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"" | |
| 505 | 8 | |a ""Conceptual Models of Energy Transfer and Regulation""""An Ontology-Based Taxonomic Key for Afrotropical Bees""; ""An 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"" | |
| 505 | 8 | |a ""An Ontology for the t-Theory of Enterprise Engineering""""Unit of Organizational Learning Ontology Based on LOM Standard and IMS Learning Design""; ""VI. 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. | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Ontologies (Information retrieval) |v Congresses. | |
| 650 | 0 | |a Formal methods (Computer science) |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 Formal methods (Computer science) |2 fast | |
| 650 | 7 | |a Ontologies (Information retrieval) |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 776 | 0 | 8 | |i Print version: |a Garbacz, P. |t Formal Ontology in Information Systems. |d IOS Press, 2014 |z 1614994374 |z 9781614994374 |w (OCoLC)890252118 |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=1818044 |z Texto completo |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL1818044 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis29978483 | ||
| 938 | |a YBP Library Services |b YANK |n 12127094 | ||
| 994 | |a 92 |b IZTAP | ||