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.
Concept Invention [[electronic resource] ] : Foundations, Implementation, Social Aspects and Applications / / edited by Roberto Confalonieri, Alison Pease, Marco Schorlemmer, Tarek R. Besold, Oliver Kutz, Ewen Maclean, Maximos Kaliakatsos-Papakostas
| Concept Invention [[electronic resource] ] : Foundations, Implementation, Social Aspects and Applications / / edited by Roberto Confalonieri, Alison Pease, Marco Schorlemmer, Tarek R. Besold, Oliver Kutz, Ewen Maclean, Maximos Kaliakatsos-Papakostas |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (304 pages) |
| Disciplina | 121.4 |
| Collana | Computational Synthesis and Creative Systems |
| Soggetto topico |
Artificial intelligence
User interfaces (Computer systems) Cognitive psychology Cognitive grammar Artificial Intelligence User Interfaces and Human Computer Interaction Cognitive Psychology Cognitive Linguistics |
| ISBN | 3-319-65602-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Social Aspects of Conceptual Blending -- Enabling Technologies for Concept Invention -- Complex Numbers, Blending Lists, and Experiments with Alumni -- Formal Conceptual Blending in Generation and Co-invention in Mathematics -- Chord Blending, and Jazz Mathematical Cross-blending -- Conceptual Blending in Melodic Harmonization -- Evaluating Creativity -- Discussion, Conclusion and Future Perspectives. |
| Record Nr. | UNINA-9910299161303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| 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 |
| 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 | ||
| ||
Modular ontologies [[electronic resource] ] : proceedings of the fifth international workshop (WoMO 2011) / / edited by Oliver Kutz and Thomas Schneider
| Modular ontologies [[electronic resource] ] : proceedings of the fifth international workshop (WoMO 2011) / / edited by Oliver Kutz and Thomas Schneider |
| Pubbl/distr/stampa | Amsterdam, The Netherlands, : IOS Press, 2011 |
| Descrizione fisica | 1 online resource (148 p.) |
| Disciplina | 111 |
| Altri autori (Persone) |
KutzOliver
SchneiderThomas |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico | Ontologies (Information retrieval) |
| Soggetto genere / forma | Electronic books. |
| ISBN |
6613289957
1-283-28995-4 9786613289957 1-60750-799-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title Page; Preface; Contents; Goals of Modularity: A Voice from the Foundational Viewpoint; Modularity Issues in Biomedical Ontologies; Query Inseparability and Module Extraction in OWL 2 QL; Applying Community Detection Algorithms on Ontologies for Identifying Concept Groups; The Modular Structure of an Ontology: Atomic Decomposition and Module Count; Modular Approach for a New Ontology; Exploiting Modularity for Ontology Verification; Modularization Requirements in Bio-Ontologies: A Case Study of ChEBI
Modeling the Diversity of Spatial Information by Using Modular Ontologies and Their CombinationsSimple Reasoning for Contextualized RDF Knowledge; The Onto-Logical Translation Graph; Constructing an Ontology Repository: A Case Study with Theories of Time Intervals; Subject Index; Author Index |
| Record Nr. | UNINA-9910457601103321 |
| Amsterdam, The Netherlands, : IOS Press, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modular ontologies [[electronic resource] ] : proceedings of the fifth international workshop (WoMO 2011) / / edited by Oliver Kutz and Thomas Schneider
| Modular ontologies [[electronic resource] ] : proceedings of the fifth international workshop (WoMO 2011) / / edited by Oliver Kutz and Thomas Schneider |
| Pubbl/distr/stampa | Amsterdam, The Netherlands, : IOS Press, 2011 |
| Descrizione fisica | 1 online resource (148 p.) |
| Disciplina | 111 |
| Altri autori (Persone) |
KutzOliver
SchneiderThomas |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico | Ontologies (Information retrieval) |
| ISBN |
6613289957
1-283-28995-4 9786613289957 1-60750-799-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title Page; Preface; Contents; Goals of Modularity: A Voice from the Foundational Viewpoint; Modularity Issues in Biomedical Ontologies; Query Inseparability and Module Extraction in OWL 2 QL; Applying Community Detection Algorithms on Ontologies for Identifying Concept Groups; The Modular Structure of an Ontology: Atomic Decomposition and Module Count; Modular Approach for a New Ontology; Exploiting Modularity for Ontology Verification; Modularization Requirements in Bio-Ontologies: A Case Study of ChEBI
Modeling the Diversity of Spatial Information by Using Modular Ontologies and Their CombinationsSimple Reasoning for Contextualized RDF Knowledge; The Onto-Logical Translation Graph; Constructing an Ontology Repository: A Case Study with Theories of Time Intervals; Subject Index; Author Index |
| Record Nr. | UNINA-9910781755903321 |
| Amsterdam, The Netherlands, : IOS Press, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modular ontologies [[electronic resource] ] : proceedings of the fifth international workshop (WoMO 2011) / / edited by Oliver Kutz and Thomas Schneider
| Modular ontologies [[electronic resource] ] : proceedings of the fifth international workshop (WoMO 2011) / / edited by Oliver Kutz and Thomas Schneider |
| Pubbl/distr/stampa | Amsterdam, The Netherlands, : IOS Press, 2011 |
| Descrizione fisica | 1 online resource (148 p.) |
| Disciplina | 111 |
| Altri autori (Persone) |
KutzOliver
SchneiderThomas |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico | Ontologies (Information retrieval) |
| ISBN |
6613289957
1-283-28995-4 9786613289957 1-60750-799-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title Page; Preface; Contents; Goals of Modularity: A Voice from the Foundational Viewpoint; Modularity Issues in Biomedical Ontologies; Query Inseparability and Module Extraction in OWL 2 QL; Applying Community Detection Algorithms on Ontologies for Identifying Concept Groups; The Modular Structure of an Ontology: Atomic Decomposition and Module Count; Modular Approach for a New Ontology; Exploiting Modularity for Ontology Verification; Modularization Requirements in Bio-Ontologies: A Case Study of ChEBI
Modeling the Diversity of Spatial Information by Using Modular Ontologies and Their CombinationsSimple Reasoning for Contextualized RDF Knowledge; The Onto-Logical Translation Graph; Constructing an Ontology Repository: A Case Study with Theories of Time Intervals; Subject Index; Author Index |
| Record Nr. | UNINA-9910818354503321 |
| Amsterdam, The Netherlands, : IOS Press, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modular ontologies [[electronic resource] ] : proceedings of the Fourth International Workshop (WoMo 2010) / / edited by Oliver Kutz ... [et al.]
| Modular ontologies [[electronic resource] ] : proceedings of the Fourth International Workshop (WoMo 2010) / / edited by Oliver Kutz ... [et al.] |
| Pubbl/distr/stampa | Amsterdam, : IOS Press, 2010 |
| Descrizione fisica | 1 online resource (116 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) | KutzOliver |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico | Ontology |
| Soggetto genere / forma | Electronic books. |
| ISBN |
6612692855
1-282-69285-2 9786612692857 1-60750-544-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Preface; Contents; Towards Ontology Use, Re-Use and Abuse in a Computational Creativity Collective; Ontology Modularity, Information Flow, and Interaction-Situated Semantics; The Modular Structure of an Ontology: An Empirical Study; Extracting and Merging Contextualized Ontology Modules; A Metric Suite for Evaluating Cohesion and Coupling in Modular Ontologies; Towards a Functional Approach to Modular Ontologies Using Institutions; Introducing Ontology Best Practices and Design Patterns into Robotics: USAREnv; Modular Upper-Level Ontologies for Semantic Complex Event Processing
Subject IndexAuthor Index |
| Record Nr. | UNINA-9910459171103321 |
| Amsterdam, : IOS Press, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modular ontologies [[electronic resource] ] : proceedings of the Fourth International Workshop (WoMo 2010) / / edited by Oliver Kutz ... [et al.]
| Modular ontologies [[electronic resource] ] : proceedings of the Fourth International Workshop (WoMo 2010) / / edited by Oliver Kutz ... [et al.] |
| Pubbl/distr/stampa | Amsterdam, : IOS Press, 2010 |
| Descrizione fisica | 1 online resource (116 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) | KutzOliver |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico | Ontology |
| ISBN |
6612692855
1-282-69285-2 9786612692857 1-60750-544-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Preface; Contents; Towards Ontology Use, Re-Use and Abuse in a Computational Creativity Collective; Ontology Modularity, Information Flow, and Interaction-Situated Semantics; The Modular Structure of an Ontology: An Empirical Study; Extracting and Merging Contextualized Ontology Modules; A Metric Suite for Evaluating Cohesion and Coupling in Modular Ontologies; Towards a Functional Approach to Modular Ontologies Using Institutions; Introducing Ontology Best Practices and Design Patterns into Robotics: USAREnv; Modular Upper-Level Ontologies for Semantic Complex Event Processing
Subject IndexAuthor Index |
| Record Nr. | UNINA-9910785023903321 |
| Amsterdam, : IOS Press, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modular ontologies [[electronic resource] ] : proceedings of the Fourth International Workshop (WoMo 2010) / / edited by Oliver Kutz ... [et al.]
| Modular ontologies [[electronic resource] ] : proceedings of the Fourth International Workshop (WoMo 2010) / / edited by Oliver Kutz ... [et al.] |
| Pubbl/distr/stampa | Amsterdam, : IOS Press, 2010 |
| Descrizione fisica | 1 online resource (116 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) | KutzOliver |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico | Ontology |
| ISBN |
6612692855
1-282-69285-2 9786612692857 1-60750-544-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Preface; Contents; Towards Ontology Use, Re-Use and Abuse in a Computational Creativity Collective; Ontology Modularity, Information Flow, and Interaction-Situated Semantics; The Modular Structure of an Ontology: An Empirical Study; Extracting and Merging Contextualized Ontology Modules; A Metric Suite for Evaluating Cohesion and Coupling in Modular Ontologies; Towards a Functional Approach to Modular Ontologies Using Institutions; Introducing Ontology Best Practices and Design Patterns into Robotics: USAREnv; Modular Upper-Level Ontologies for Semantic Complex Event Processing
Subject IndexAuthor Index |
| Record Nr. | UNINA-9910826617403321 |
| Amsterdam, : IOS Press, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||