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.
Computing in civil engineering 2017 : information modeling and data analytics : selected papers frm the ASCE International Workshop on Computing in Civil Engineering 2017, June 25-27, 2017, Seattle, Washington / / sponsred by Computing and Information Technology Division of the American Society of Civil Engineers ; edited by Ken-Yu Lin, Nora El-Gohary, Pingbo Tang
| Computing in civil engineering 2017 : information modeling and data analytics : selected papers frm the ASCE International Workshop on Computing in Civil Engineering 2017, June 25-27, 2017, Seattle, Washington / / sponsred by Computing and Information Technology Division of the American Society of Civil Engineers ; edited by Ken-Yu Lin, Nora El-Gohary, Pingbo Tang |
| Pubbl/distr/stampa | Reston, Virginia : , : ASCE, , 2017 |
| Descrizione fisica | 1 online resource (488 pages) : illustrations |
| Disciplina | 005.74 |
| Soggetto topico |
Information modeling
Buildings - Maintenance and repair - Data processing |
| Soggetto genere / forma | Electronic books. |
| ISBN | 0-7844-8082-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910466545403321 |
| Reston, Virginia : , : ASCE, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Concept Analysis : Mathematical Foundations / / by Bernhard Ganter, Rudolf Wille
| Formal Concept Analysis : Mathematical Foundations / / by Bernhard Ganter, Rudolf Wille |
| Autore | Ganter Bernhard |
| Edizione | [2nd ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (375 pages) |
| Disciplina |
005.73
003.54 |
| Altri autori (Persone) | WilleRudolf |
| Soggetto topico |
Data structures (Computer science)
Information theory Information storage and retrieval systems Information modeling Algebra Computer science - Mathematics Discrete mathematics Data Structures and Information Theory Information Storage and Retrieval Information Model Order, Lattices, Ordered Algebraic Structures Discrete Mathematics in Computer Science |
| ISBN | 3-031-63422-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface to the first edition -- Preface to the second edition -- Acknowledgements -- 0. Order-theoretic foundations -- 1. Concept lattices of formal contexts -- 2. Determination and representation -- 3. Parts, factors, and bonds -- 4. Decompositions of concept lattices -- 5. Constructions of concept lattices -- 6. Properties of concept lattices -- 7. Context comparison and conceptual measurability -- 8. Contextual concept logic -- References -- Formal contexts and concept lattices in this book -- Index. |
| Record Nr. | UNINA-9910878044003321 |
Ganter Bernhard
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal ontologies meet industry [[electronic resource] ] : proceedings of the fifth international workshop (FOMI 2011) / / edited by Pieter E. Vermaas and Victoria Dignum
| Formal ontologies meet industry [[electronic resource] ] : proceedings of the fifth international workshop (FOMI 2011) / / edited by Pieter E. Vermaas and Victoria Dignum |
| Pubbl/distr/stampa | Amsterdam, The Netherlands, : IOS Press, 2011 |
| Descrizione fisica | 1 online resource (132 p.) |
| Disciplina | 500 |
| Altri autori (Persone) |
VermaasPieter E
DignumVirginia |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Semantic networks (Information theory)
Ontologies (Information retrieval) Information modeling Business networks |
| Soggetto genere / forma | Electronic books. |
| ISBN |
6613289892
1-283-28989-X 9786613289896 1-60750-785-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. 1. Philosophical foundations -- pt. 2. Methodological approaches -- pt. 3. Data integration. |
| Record Nr. | UNINA-9910457612003321 |
| Amsterdam, The Netherlands, : IOS Press, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal ontologies meet industry [[electronic resource] ] : proceedings of the fifth international workshop (FOMI 2011) / / edited by Pieter E. Vermaas and Victoria Dignum
| Formal ontologies meet industry [[electronic resource] ] : proceedings of the fifth international workshop (FOMI 2011) / / edited by Pieter E. Vermaas and Victoria Dignum |
| Pubbl/distr/stampa | Amsterdam, The Netherlands, : IOS Press, 2011 |
| Descrizione fisica | 1 online resource (132 p.) |
| Disciplina | 500 |
| Altri autori (Persone) |
VermaasPieter E
DignumVirginia |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Semantic networks (Information theory)
Ontologies (Information retrieval) Information modeling Business networks |
| ISBN |
6613289892
1-283-28989-X 9786613289896 1-60750-785-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. 1. Philosophical foundations -- pt. 2. Methodological approaches -- pt. 3. Data integration. |
| Record Nr. | UNINA-9910781756703321 |
| Amsterdam, The Netherlands, : IOS Press, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal ontologies meet industry [[electronic resource] ] : proceedings of the fifth international workshop (FOMI 2011) / / edited by Pieter E. Vermaas and Victoria Dignum
| Formal ontologies meet industry [[electronic resource] ] : proceedings of the fifth international workshop (FOMI 2011) / / edited by Pieter E. Vermaas and Victoria Dignum |
| Pubbl/distr/stampa | Amsterdam, The Netherlands, : IOS Press, 2011 |
| Descrizione fisica | 1 online resource (132 p.) |
| Disciplina | 500 |
| Altri autori (Persone) |
VermaasPieter E
DignumVirginia |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Semantic networks (Information theory)
Ontologies (Information retrieval) Information modeling Business networks |
| ISBN |
6613289892
1-283-28989-X 9786613289896 1-60750-785-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. 1. Philosophical foundations -- pt. 2. Methodological approaches -- pt. 3. Data integration. |
| Record Nr. | UNINA-9910813006703321 |
| Amsterdam, The Netherlands, : IOS Press, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal ontologies meet industry [[electronic resource] /] / edited by Roberta Ferrario and Alessandro Oltramari
| Formal ontologies meet industry [[electronic resource] /] / edited by Roberta Ferrario and Alessandro Oltramari |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press, c2009 |
| Descrizione fisica | 1 online resource (144 p.) |
| Disciplina |
004
111.0285 |
| Altri autori (Persone) |
FerrarioRoberta
OltramariAlessandro |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Business networks
Information modeling Ontologies (Information retrieval) Semantic networks (Information theory) |
| Soggetto genere / forma | Electronic books. |
| ISBN |
6612454636
1-282-45463-3 9786612454639 1-60750-458-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Proceedings of FOMI 2009 -- Preface; Contents; From Data to Knowledge, the Role of Formal Ontology; Towards an Approach for Evolving Information Systems' Ontologies; A First-Order Cutting Process Ontology for Sheet Metal Parts; Parts, Compositions and Decompositions of Functions in Engineering Ontologies; Towards an Ontology Infrastructure for Electromagnetism; Ontological Representation for Algerian Enterprise Modeling; Modular Ontologies for Architectural Design; Ontology-Strength Industry Standards -- The Case of the Telecommunication Domain; Disentangling Knowledge Objects
Do You Still Want to Vote for Your Favorite Politician? Ask Ontobella!Supporting the Development of Medical Ontologies; Subject Index; Author Index |
| Record Nr. | UNINA-9910457118603321 |
| Amsterdam ; ; Washington, DC, : IOS Press, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal ontologies meet industry [[electronic resource] /] / edited by Roberta Ferrario and Alessandro Oltramari
| Formal ontologies meet industry [[electronic resource] /] / edited by Roberta Ferrario and Alessandro Oltramari |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press, c2009 |
| Descrizione fisica | 1 online resource (144 p.) |
| Disciplina |
004
111.0285 |
| Altri autori (Persone) |
FerrarioRoberta
OltramariAlessandro |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Business networks
Information modeling Ontologies (Information retrieval) Semantic networks (Information theory) |
| ISBN |
6612454636
1-282-45463-3 9786612454639 1-60750-458-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Proceedings of FOMI 2009 -- Preface; Contents; From Data to Knowledge, the Role of Formal Ontology; Towards an Approach for Evolving Information Systems' Ontologies; A First-Order Cutting Process Ontology for Sheet Metal Parts; Parts, Compositions and Decompositions of Functions in Engineering Ontologies; Towards an Ontology Infrastructure for Electromagnetism; Ontological Representation for Algerian Enterprise Modeling; Modular Ontologies for Architectural Design; Ontology-Strength Industry Standards -- The Case of the Telecommunication Domain; Disentangling Knowledge Objects
Do You Still Want to Vote for Your Favorite Politician? Ask Ontobella!Supporting the Development of Medical Ontologies; Subject Index; Author Index |
| Record Nr. | UNINA-9910781059203321 |
| Amsterdam ; ; Washington, DC, : IOS Press, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal ontologies meet industry / / edited by Roberta Ferrario and Alessandro Oltramari
| Formal ontologies meet industry / / edited by Roberta Ferrario and Alessandro Oltramari |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press, c2009 |
| Descrizione fisica | 1 online resource (144 p.) |
| Disciplina |
004
111.0285 |
| Altri autori (Persone) |
FerrarioRoberta
OltramariAlessandro |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Business networks
Information modeling Ontologies (Information retrieval) Semantic networks (Information theory) |
| ISBN |
6612454636
1-282-45463-3 9786612454639 1-60750-458-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Proceedings of FOMI 2009 -- Preface; Contents; From Data to Knowledge, the Role of Formal Ontology; Towards an Approach for Evolving Information Systems' Ontologies; A First-Order Cutting Process Ontology for Sheet Metal Parts; Parts, Compositions and Decompositions of Functions in Engineering Ontologies; Towards an Ontology Infrastructure for Electromagnetism; Ontological Representation for Algerian Enterprise Modeling; Modular Ontologies for Architectural Design; Ontology-Strength Industry Standards -- The Case of the Telecommunication Domain; Disentangling Knowledge Objects
Do You Still Want to Vote for Your Favorite Politician? Ask Ontobella!Supporting the Development of Medical Ontologies; Subject Index; Author Index |
| Record Nr. | UNINA-9910816413303321 |
| Amsterdam ; ; Washington, DC, : IOS Press, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal ontologies meet industry [[electronic resource] /] / edited by Stefano Borgo and Leonardo Lesmo
| Formal ontologies meet industry [[electronic resource] /] / edited by Stefano Borgo and Leonardo Lesmo |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press, c2008 |
| Descrizione fisica | 1 online resource (168 p.) |
| Disciplina |
006.3
658.4038 |
| Altri autori (Persone) |
BorgoStefano
LesmoLeonardo |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Business networks
Information modeling Ontologies (Information retrieval) Semantic networks (Information theory) |
| Soggetto genere / forma | Electronic books. |
| ISBN |
6611786260
1-281-78626-8 9786611786267 1-4356-7809-5 600-00-0644-6 1-60750-339-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Preface; Conference Organization; Contents; The Attractiveness of Foundational Ontologies in Industry; The Business of Ontology Calls for a Formal Pragmatics; Knowledge Based Systems in Industry - Ontology Pays Half the Rent; Utilizing Ontologies for Petrochemical Applications; Implicit Metadata Generation on the Semantic Desktop Using Task Management as Example; Roles: A Four-Dimensional Analysis; Using Background Knowledge and Context Knowledge in Ontology Mapping; Counterfeits and Copies. An Ontological Analysis
Application Scenarios of Ontology-Driven Situation Awareness Systems - Exemplified for the Road Traffic Management DomainOntological Domain Coding for Cultural Heritage Mediation; An Ontology for Environmental and Health and Safety Risks' Evaluation for Construction; Using Agility in Ontology Construction; IPAS Ontology Development; Folksonomies Meet Ontologies in ARSMETEO: From Social Descriptions of Artifacts to Emotional Concepts; Relationship Discovery Ontology in Asymmetric Warfare; Author Index |
| Record Nr. | UNINA-9910453893703321 |
| Amsterdam ; ; Washington, DC, : IOS Press, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal ontologies meet industry [[electronic resource] /] / edited by Stefano Borgo and Leonardo Lesmo
| Formal ontologies meet industry [[electronic resource] /] / edited by Stefano Borgo and Leonardo Lesmo |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press, c2008 |
| Descrizione fisica | 1 online resource (168 p.) |
| Disciplina |
006.3
658.4038 |
| Altri autori (Persone) |
BorgoStefano
LesmoLeonardo |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Business networks
Information modeling Ontologies (Information retrieval) Semantic networks (Information theory) |
| ISBN |
6611786260
1-281-78626-8 9786611786267 1-4356-7809-5 600-00-0644-6 1-60750-339-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Preface; Conference Organization; Contents; The Attractiveness of Foundational Ontologies in Industry; The Business of Ontology Calls for a Formal Pragmatics; Knowledge Based Systems in Industry - Ontology Pays Half the Rent; Utilizing Ontologies for Petrochemical Applications; Implicit Metadata Generation on the Semantic Desktop Using Task Management as Example; Roles: A Four-Dimensional Analysis; Using Background Knowledge and Context Knowledge in Ontology Mapping; Counterfeits and Copies. An Ontological Analysis
Application Scenarios of Ontology-Driven Situation Awareness Systems - Exemplified for the Road Traffic Management DomainOntological Domain Coding for Cultural Heritage Mediation; An Ontology for Environmental and Health and Safety Risks' Evaluation for Construction; Using Agility in Ontology Construction; IPAS Ontology Development; Folksonomies Meet Ontologies in ARSMETEO: From Social Descriptions of Artifacts to Emotional Concepts; Relationship Discovery Ontology in Asymmetric Warfare; Author Index |
| Record Nr. | UNINA-9910782213303321 |
| Amsterdam ; ; Washington, DC, : IOS Press, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
