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.
Building ontologies with basic formal ontology / / by Robert Arp, Barry Smith, and Andrew D. Spear
| Building ontologies with basic formal ontology / / by Robert Arp, Barry Smith, and Andrew D. Spear |
| Autore | Arp Robert |
| Pubbl/distr/stampa | ©2015 |
| Descrizione fisica | 1 online resource (245 p.) |
| Disciplina | 006.3/32 |
| Soggetto topico |
Ontologies (Information retrieval)
Semantic networks (Information theory) Medical informatics Information storage and retrieval systems |
| Soggetto non controllato |
BIOMEDICAL SCIENCES/General
BIOMEDICAL SCIENCES/Quantitative Biology |
| ISBN |
0-262-32959-X
0-262-32958-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents; Preface; Acknowledgments; Introduction; 1 What Is an Ontology?; 2 Kinds of Ontologies and the Role of Taxonomies; 3 Principles of Best Practice I: Domain Ontology Design; 4 Principles of Best Practice II: Terms, Definitions, and Classification; 5 Introduction to Basic Formal Ontology I: Continuants; 6 Introduction to Basic Formal Ontology II: Occurrents; 7 The Ontology of Relations; 8 Basic Formal Ontology at Work; Appendix on Implementation: Languages, Editors, Reasoners, Browsers, Tools for Reuse; Glossary
Web Links Mentioned in the Text Including Ontologies, Research Groups, Software, and Reasoning ToolsNotes; Bibliography; Index |
| Record Nr. | UNINA-9910798070203321 |
Arp Robert
|
||
| ©2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Building ontologies with basic formal ontology / / by Robert Arp, Barry Smith, and Andrew D. Spear
| Building ontologies with basic formal ontology / / by Robert Arp, Barry Smith, and Andrew D. Spear |
| Autore | Arp Robert |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | ©2015 |
| Descrizione fisica | 1 online resource (245 p.) |
| Disciplina | 006.3/32 |
| Soggetto topico |
Ontologies (Information retrieval)
Semantic networks (Information theory) Medical informatics Information storage and retrieval systems |
| Soggetto non controllato |
BIOMEDICAL SCIENCES/General
BIOMEDICAL SCIENCES/Quantitative Biology |
| ISBN |
0-262-32959-X
0-262-32958-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents; Preface; Acknowledgments; Introduction; 1 What Is an Ontology?; 2 Kinds of Ontologies and the Role of Taxonomies; 3 Principles of Best Practice I: Domain Ontology Design; 4 Principles of Best Practice II: Terms, Definitions, and Classification; 5 Introduction to Basic Formal Ontology I: Continuants; 6 Introduction to Basic Formal Ontology II: Occurrents; 7 The Ontology of Relations; 8 Basic Formal Ontology at Work; Appendix on Implementation: Languages, Editors, Reasoners, Browsers, Tools for Reuse; Glossary
Web Links Mentioned in the Text Including Ontologies, Research Groups, Software, and Reasoning ToolsNotes; Bibliography; Index |
| Record Nr. | UNINA-9910816651003321 |
|
Arp Robert
|
||
| ©2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Conceptual Structures: Fulfilling Peirce's Dream [[electronic resource] ] : Fifth International Conference on Conceptual Structures, ICCS'97, Seattle, Washington, USA, August 3-8, 1997. Proceedings. / / edited by Dickson Lukose, Harry Delugach, Mary Keeler, Leroy Searle, John Sowa
| Conceptual Structures: Fulfilling Peirce's Dream [[electronic resource] ] : Fifth International Conference on Conceptual Structures, ICCS'97, Seattle, Washington, USA, August 3-8, 1997. Proceedings. / / edited by Dickson Lukose, Harry Delugach, Mary Keeler, Leroy Searle, John Sowa |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XIV, 630 p.) |
| Disciplina | 006.3/32 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Database management Computer programming Information storage and retrieval Computer science—Mathematics Artificial Intelligence Database Management Programming Techniques Information Storage and Retrieval Discrete Mathematics in Computer Science |
| ISBN | 3-540-69424-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Fulfilling Peirce's dream: Conceptual structures and communities of inquiry -- Peirce's graphs -- A pragmatic understanding of “knowing that” and “knowing how”: The pivotal role of conceptual structures -- Peircean foundations for a theory of context -- The CORALI project: From conceptual graphs to conceptual graphs via labelled graphs -- Contexts: A formal definition of worlds of assertions -- Positive nested conceptual graphs -- A different perspective on canonicity -- Aggregations in conceptual graphs -- The representation of semantic constraints in conceptual graph systems -- Representation of defaults and exceptions in conceptual graphs formalism -- of viewpoints in conceptual graph formalism -- Task-dependent aspects of knowledge acquisition: A case study in a technical domain -- Uncovering the conceptual models in ripple down rules -- Knowledge modeling using annotated flow chart -- Complex modelling constructs in MODEL-ECS -- Modeling cause and effect in legal text -- Information systems modeling with CGs logic -- Modelling and simulating human behaviours with conceptual graphs -- Conceptual graphs and formal concept analysis -- How triadic diagrams represent conceptual structures -- Concept exploration — A tool for creating and exploring conceptual hierarchies -- Logical scaling in formal concept analysis -- Organization of knowledge using order factors -- C. S. Peirce and the quest for gamma graphs -- A sound and complete CG proof procedure combining projections with analytic tableaux -- Fuzzy unification and resolution proof procedure for fuzzy conceptual graph programs -- Reasoning with type definitions -- Universal marker and functional relation: Semantics and operations -- Animating conceptual graphs -- Accounting for domain knowledge in the construction of a generalization space -- Rational and affective linking across conceptual cases — without rules -- Conceptual graphs for corporate knowledge repositories -- An experiment in document retrieval using conceptual graphs -- PORT: A testbed paradigm for knowledge processing in the humanities -- Using access paths to guide inference with conceptual graphs -- Applying conceptual graph theory to the user-driven specification of network information systems -- Generic trading service in telecommunication platforms -- Assessing sowa's conceptual graphs for effective strategic management decisions, based on a comparative study with eden's cognitive mapping -- CGKAT: A knowledge acquisition and retrieval tool using structured documents and ontologies -- The WebKB set of tools: A common scheme for shared WWW annotations, shared knowledge bases and information retrieval -- Deakin toolset: Conceptual graphs based knowledge acquisition, management, and processing tools -- EGP: Extendible graph processor -- CGKEE: Conceptual graph knowledge engineering environment -- Menu-based interfaces to conceptual graphs: The CGLex approach -- Knowledge extractor: A tool for extracting knowledge from text -- The CG mars lander -- PCCG: An operational tracked grid for creating conceptual graphs. |
| Record Nr. | UNISA-996465509303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Conceptual Structures: Fulfilling Peirce's Dream [[electronic resource] ] : Fifth International Conference on Conceptual Structures, ICCS'97, Seattle, Washington, USA, August 3-8, 1997. Proceedings. / / edited by Dickson Lukose, Harry Delugach, Mary Keeler, Leroy Searle, John Sowa
| Conceptual Structures: Fulfilling Peirce's Dream [[electronic resource] ] : Fifth International Conference on Conceptual Structures, ICCS'97, Seattle, Washington, USA, August 3-8, 1997. Proceedings. / / edited by Dickson Lukose, Harry Delugach, Mary Keeler, Leroy Searle, John Sowa |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XIV, 630 p.) |
| Disciplina | 006.3/32 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Database management Computer programming Information storage and retrieval Computer science—Mathematics Artificial Intelligence Database Management Programming Techniques Information Storage and Retrieval Discrete Mathematics in Computer Science |
| ISBN | 3-540-69424-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Fulfilling Peirce's dream: Conceptual structures and communities of inquiry -- Peirce's graphs -- A pragmatic understanding of “knowing that” and “knowing how”: The pivotal role of conceptual structures -- Peircean foundations for a theory of context -- The CORALI project: From conceptual graphs to conceptual graphs via labelled graphs -- Contexts: A formal definition of worlds of assertions -- Positive nested conceptual graphs -- A different perspective on canonicity -- Aggregations in conceptual graphs -- The representation of semantic constraints in conceptual graph systems -- Representation of defaults and exceptions in conceptual graphs formalism -- of viewpoints in conceptual graph formalism -- Task-dependent aspects of knowledge acquisition: A case study in a technical domain -- Uncovering the conceptual models in ripple down rules -- Knowledge modeling using annotated flow chart -- Complex modelling constructs in MODEL-ECS -- Modeling cause and effect in legal text -- Information systems modeling with CGs logic -- Modelling and simulating human behaviours with conceptual graphs -- Conceptual graphs and formal concept analysis -- How triadic diagrams represent conceptual structures -- Concept exploration — A tool for creating and exploring conceptual hierarchies -- Logical scaling in formal concept analysis -- Organization of knowledge using order factors -- C. S. Peirce and the quest for gamma graphs -- A sound and complete CG proof procedure combining projections with analytic tableaux -- Fuzzy unification and resolution proof procedure for fuzzy conceptual graph programs -- Reasoning with type definitions -- Universal marker and functional relation: Semantics and operations -- Animating conceptual graphs -- Accounting for domain knowledge in the construction of a generalization space -- Rational and affective linking across conceptual cases — without rules -- Conceptual graphs for corporate knowledge repositories -- An experiment in document retrieval using conceptual graphs -- PORT: A testbed paradigm for knowledge processing in the humanities -- Using access paths to guide inference with conceptual graphs -- Applying conceptual graph theory to the user-driven specification of network information systems -- Generic trading service in telecommunication platforms -- Assessing sowa's conceptual graphs for effective strategic management decisions, based on a comparative study with eden's cognitive mapping -- CGKAT: A knowledge acquisition and retrieval tool using structured documents and ontologies -- The WebKB set of tools: A common scheme for shared WWW annotations, shared knowledge bases and information retrieval -- Deakin toolset: Conceptual graphs based knowledge acquisition, management, and processing tools -- EGP: Extendible graph processor -- CGKEE: Conceptual graph knowledge engineering environment -- Menu-based interfaces to conceptual graphs: The CGLex approach -- Knowledge extractor: A tool for extracting knowledge from text -- The CG mars lander -- PCCG: An operational tracked grid for creating conceptual graphs. |
| Record Nr. | UNINA-9910767586203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The description logic handbook [[electronic resource] ] : theory, implementation, and applications / / edited by Franz Baader ... [et al.]
| The description logic handbook [[electronic resource] ] : theory, implementation, and applications / / edited by Franz Baader ... [et al.] |
| Pubbl/distr/stampa | Cambridge, UK ; ; New York, : Cambridge University Press, 2003 |
| Descrizione fisica | 1 online resource (575 p.) |
| Disciplina | 006.3/32 |
| Altri autori (Persone) | BaaderFranz |
| Soggetto topico | Description logics |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-107-12924-9
1-280-41799-4 9786610417995 1-139-13014-5 0-511-17880-8 1-139-14649-1 0-511-06694-5 0-511-06063-7 0-511-06907-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cover; Half-title; Title; Copyright; Contents; Contributors; Preface; 1 An Introduction to Description Logics; Part I Theory; Part II Implementation; Part III Applications; Appendix Description Logic Terminology; Bibliography; Index |
| Record Nr. | UNINA-9910450526303321 |
| Cambridge, UK ; ; New York, : Cambridge University Press, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The description logic handbook [[electronic resource] ] : theory, implementation, and applications / / edited by Franz Baader ... [et al.]
| The description logic handbook [[electronic resource] ] : theory, implementation, and applications / / edited by Franz Baader ... [et al.] |
| Pubbl/distr/stampa | Cambridge, UK ; ; New York, : Cambridge University Press, 2003 |
| Descrizione fisica | 1 online resource (575 p.) |
| Disciplina | 006.3/32 |
| Altri autori (Persone) | BaaderFranz |
| Soggetto topico | Description logics |
| ISBN |
1-107-12924-9
1-280-41799-4 9786610417995 1-139-13014-5 0-511-17880-8 1-139-14649-1 0-511-06694-5 0-511-06063-7 0-511-06907-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cover; Half-title; Title; Copyright; Contents; Contributors; Preface; 1 An Introduction to Description Logics; Part I Theory; Part II Implementation; Part III Applications; Appendix Description Logic Terminology; Bibliography; Index |
| Record Nr. | UNINA-9910783143703321 |
| Cambridge, UK ; ; New York, : Cambridge University Press, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The description logic handbook : theory, implementation, and applications / / edited by Franz Baader ... [et al.]
| The description logic handbook : theory, implementation, and applications / / edited by Franz Baader ... [et al.] |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cambridge, UK ; ; New York, : Cambridge University Press, 2003 |
| Descrizione fisica | 1 online resource (575 p.) |
| Disciplina | 006.3/32 |
| Altri autori (Persone) | BaaderFranz |
| Soggetto topico | Description logics |
| ISBN |
1-107-12924-9
1-280-41799-4 9786610417995 1-139-13014-5 0-511-17880-8 1-139-14649-1 0-511-06694-5 0-511-06063-7 0-511-06907-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cover; Half-title; Title; Copyright; Contents; Contributors; Preface; 1 An Introduction to Description Logics; Part I Theory; Part II Implementation; Part III Applications; Appendix Description Logic Terminology; Bibliography; Index |
| Record Nr. | UNINA-9910827386403321 |
| Cambridge, UK ; ; New York, : Cambridge University Press, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal ontology in information systems [[electronic resource] ] : proceedings of the fourth international conference (FOIS 2006) / / edited by Brandon Bennett, Christiane Fellbaum
| Formal ontology in information systems [[electronic resource] ] : proceedings of the fourth international conference (FOIS 2006) / / edited by Brandon Bennett, Christiane Fellbaum |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press, 2006 |
| Descrizione fisica | 1 online resource (388 p.) |
| Disciplina | 006.3/32 |
| Altri autori (Persone) |
BennettBrandon
FellbaumChristiane |
| Collana | Frontiers in artificial intelligence and applications / FAIA |
| Soggetto topico |
Knowledge representation (Information theory)
Conceptual structures (Information theory) Ontology Database design Expert systems (Computer science) |
| Soggetto genere / forma | Electronic books. |
| ISBN |
6610704848
1-280-70484-5 9786610704842 1-4294-5529-2 1-60750-211-9 600-00-0428-1 1-4337-0126-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Title page; Preface; Conference Organisation; Contents; Invited Talks; Foundations and Methodology; Space and Mereology; Ontology in Biology and Biochemistry; Actions and Events; General Ontological Issues; Linking and Merging Ontologies; Maintaining and Exploiting Ontologies; Author Index |
| Record Nr. | UNINA-9910450845503321 |
| Amsterdam ; ; Washington, DC, : IOS Press, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal ontology in information systems [[electronic resource] ] : proceedings of the fourth international conference (FOIS 2006) / / edited by Brandon Bennett, Christiane Fellbaum
| Formal ontology in information systems [[electronic resource] ] : proceedings of the fourth international conference (FOIS 2006) / / edited by Brandon Bennett, Christiane Fellbaum |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press, 2006 |
| Descrizione fisica | 1 online resource (388 p.) |
| Disciplina | 006.3/32 |
| Altri autori (Persone) |
BennettBrandon
FellbaumChristiane |
| Collana | Frontiers in artificial intelligence and applications / FAIA |
| Soggetto topico |
Knowledge representation (Information theory)
Conceptual structures (Information theory) Ontology Database design Expert systems (Computer science) |
| ISBN |
6610704848
1-280-70484-5 9786610704842 1-4294-5529-2 1-60750-211-9 600-00-0428-1 1-4337-0126-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Title page; Preface; Conference Organisation; Contents; Invited Talks; Foundations and Methodology; Space and Mereology; Ontology in Biology and Biochemistry; Actions and Events; General Ontological Issues; Linking and Merging Ontologies; Maintaining and Exploiting Ontologies; Author Index |
| Record Nr. | UNINA-9910784250903321 |
| Amsterdam ; ; Washington, DC, : IOS Press, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal ontology in information systems : proceedings of the fourth international conference (FOIS 2006) / / edited by Brandon Bennett, Christiane Fellbaum
| Formal ontology in information systems : proceedings of the fourth international conference (FOIS 2006) / / edited by Brandon Bennett, Christiane Fellbaum |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press, 2006 |
| Descrizione fisica | 1 online resource (388 p.) |
| Disciplina | 006.3/32 |
| Altri autori (Persone) |
BennettBrandon
FellbaumChristiane |
| Collana | Frontiers in artificial intelligence and applications / FAIA |
| Soggetto topico |
Knowledge representation (Information theory)
Conceptual structures (Information theory) Ontology Database design Expert systems (Computer science) |
| ISBN |
6610704848
1-280-70484-5 9786610704842 1-4294-5529-2 1-60750-211-9 600-00-0428-1 1-4337-0126-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Title page; Preface; Conference Organisation; Contents; Invited Talks; Foundations and Methodology; Space and Mereology; Ontology in Biology and Biochemistry; Actions and Events; General Ontological Issues; Linking and Merging Ontologies; Maintaining and Exploiting Ontologies; Author Index |
| Record Nr. | UNINA-9910819045103321 |
| Amsterdam ; ; Washington, DC, : IOS Press, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
