Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Formal ontology in information systems : proceedings of the eighth International Conference (FOIS 2014) / / edited by Pawel Garbacz, and Oliver Kutz
| Formal ontology in information systems : proceedings of the eighth International Conference (FOIS 2014) / / edited by Pawel Garbacz, and Oliver Kutz |
| Pubbl/distr/stampa | Amsterdam, Netherlands : , : IOS Press, , 2014 |
| Descrizione fisica | 1 online resource (456 p.) |
| Disciplina | 006.332 |
| Collana | Frontiers in Artificial Intelligence and Applications |
| Soggetto topico |
Knowledge representation (Information theory)
Conceptual structures (Information theory) Expert systems (Computer science) Ontology Database design |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-61499-438-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""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 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"" ""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"" ""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"" ""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"" |
| Record Nr. | UNINA-9910463850703321 |
| Amsterdam, Netherlands : , : IOS Press, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal ontology in information systems : proceedings of the eighth International Conference (FOIS 2014) / / edited by Pawel Garbacz, and Oliver Kutz
| Formal ontology in information systems : proceedings of the eighth International Conference (FOIS 2014) / / edited by Pawel Garbacz, and Oliver Kutz |
| Pubbl/distr/stampa | Amsterdam, Netherlands : , : IOS Press, , 2014 |
| Descrizione fisica | 1 online resource (456 p.) |
| Disciplina | 006.332 |
| Collana | Frontiers in Artificial Intelligence and Applications |
| Soggetto topico |
Knowledge representation (Information theory)
Conceptual structures (Information theory) Expert systems (Computer science) Ontology Database design |
| ISBN | 1-61499-438-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""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 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"" ""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"" ""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"" ""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"" |
| Record Nr. | UNINA-9910788089703321 |
| Amsterdam, Netherlands : , : IOS Press, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal ontology in information systems : proceedings of the eighth International Conference (FOIS 2014) / / edited by Pawel Garbacz, and Oliver Kutz
| Formal ontology in information systems : proceedings of the eighth International Conference (FOIS 2014) / / edited by Pawel Garbacz, and Oliver Kutz |
| Pubbl/distr/stampa | Amsterdam, Netherlands : , : IOS Press, , 2014 |
| Descrizione fisica | 1 online resource (456 p.) |
| Disciplina | 006.332 |
| Collana | Frontiers in Artificial Intelligence and Applications |
| Soggetto topico |
Knowledge representation (Information theory)
Conceptual structures (Information theory) Expert systems (Computer science) Ontology Database design |
| ISBN | 1-61499-438-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""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 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"" ""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"" ""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"" ""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"" |
| Record Nr. | UNINA-9910826444603321 |
| Amsterdam, Netherlands : , : IOS Press, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||