top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
Formal ontology in information systems : collected papers from the second International Conference, October 17th-19th, 2001, the Cliff House, Ogunquit, Maine, USA
Formal ontology in information systems : collected papers from the second International Conference, October 17th-19th, 2001, the Cliff House, Ogunquit, Maine, USA
Autore Guarino Nicola
Pubbl/distr/stampa [Place of publication not identified], : Association for Computing Machinery, 2001
Descrizione fisica 1 online resource (362 p.;)
Disciplina 006.3/32
Collana ACM Conferences
Soggetto topico Knowledge representation (Information theory)
Conceptual structures (Information theory)
Ontology
Database design
Expert systems (Computer science)
Engineering & Applied Sciences
Computer Science
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Altri titoli varianti FOIS '01
Record Nr. UNINA-9910376231803321
Guarino Nicola  
[Place of publication not identified], : Association for Computing Machinery, 2001
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Integrated Uncertainty in Knowledge Modelling and Decision Making [[electronic resource] ] : International Symposium, IUKM 2011, Hangzhou, China, October 28-30, 2011, Proceedings / / edited by Yongchuan Tang, Van-Nam Huynh, Jonathan Lawry
Integrated Uncertainty in Knowledge Modelling and Decision Making [[electronic resource] ] : International Symposium, IUKM 2011, Hangzhou, China, October 28-30, 2011, Proceedings / / edited by Yongchuan Tang, Van-Nam Huynh, Jonathan Lawry
Edizione [1st ed. 2011.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011
Descrizione fisica 1 online resource (XII, 272 p. 60 illus., 28 illus. in color.)
Disciplina 006.3/32
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Application software
Database management
Information storage and retrieval
Data mining
Algorithms
Artificial Intelligence
Information Systems Applications (incl. Internet)
Database Management
Information Storage and Retrieval
Data Mining and Knowledge Discovery
Algorithm Analysis and Problem Complexity
ISBN 3-642-24918-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996465418103316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Knowledge representation and reasoning [[electronic resource] /] / Ronald J. Brachman, Hector J. Levesque
Knowledge representation and reasoning [[electronic resource] /] / Ronald J. Brachman, Hector J. Levesque
Autore Brachman Ronald J. <1949->
Edizione [1st edition]
Pubbl/distr/stampa Amsterdam ; ; Boston, : Morgan Kaufmann, c2004
Descrizione fisica 1 online resource (413 p.)
Disciplina 006.3/32
Altri autori (Persone) LevesqueHector J. <1951->
Collana The Morgan Kaufmann Series in Artificial Intelligence
Soggetto topico Knowledge representation (Information theory)
Reasoning
Soggetto genere / forma Electronic books.
ISBN 1-281-04931-X
9786611049317
0-08-048932-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Front Cover; Knowledge Representation and Reasoning; Copyright Page; Contents; Preface; Acknowledgments; Chapter 1. Introduction; 1.1 The Key Concepts: Knowledge, Representation, and Reasoning; 1.2 Why Knowledge Representation and Reasoning?; 1.3 The Role of Logic; 1.4 Bibliographic Notes; 1.5 Exercises; Chapter 2. The Language of First-Order Logic; 2.1 Introduction; 2.2 The Syntax; 2.3 The Semantics; 2.4 The Pragmatics; 2.5 Explicit and Implicit Belief; 2.6 Bibliographic Notes; 2.7 Exercises; Chapter 3. Expressing Knowledge; 3.1 Knowledge Engineering; 3.2 Vocabulary; 3.3 Basic Facts
3.4 Complex Facts3.5 Terminological Facts; 3.6 Entailments; 3.7 Abstract Individuals; 3.8 Other Sorts of Facts; 3.9 Bibliographic Notes; 3.10 Exercises; Chapter 4. Resolution; 4.1 The Propositional Case; 4.2 Handling Variables and Quantifiers; 4.3 Dealing with Computational Intractability; 4.4 Bibliographic Notes; 4.5 Exercises; Chapter 5. Reasoning with Horn Clauses; 5.1 Horn Clauses; 5.2 SLD Resolution; 5.3 Computing SLD Derivations; 5.4 Bibliographic Notes; 5.5 Exercises; Chapter 6. Procedural Control of Reasoning; 6.1 Facts and Rules; 6.2 Rule Formation and Search Strategy
6.3 Algorithm Design6.4 Specifying Goal Order; 6.5 Committing to Proof Methods; 6.6 Controlling Backtracking; 6.7 Negation as Failure; 6.8 Dynamic Databases; 6.9 Bibliographic Notes; 6.10 Exercises; Chapter 7. Rules in Production Systems; 7.1 Production Systems: Basic Operation; 7.2 Working Memory; 7.3 Production Rules; 7.4 A First Example; 7.5 A Second Example; 7.6 Conflict Resolution; 7.7 Making Production Systems More Efficient; 7.8 Applications and Advantages; 7.9 Some Significant Production Rule Systems; 7.10 Bibliographic Notes; 7.11 Exercises; Chapter 8. Object-Oriented Representation
8.1 Objects and Frames8.2 A Basic Frame Formalism; 8.3 An Example: Using Frames to Plan a Trip; 8.4 Beyond the Basics; 8.5 Bibliographic Notes; 8.6 Exercises; Chapter 9. Structured Descriptions; 9.1 Descriptions; 9.2 A Description Language; 9.3 Meaning and Entailment; 9.4 Computing Entailments; 9.5 Taxonomies and Classification; 9.6 Beyond the Basics; 9.7 Bibliographic Notes; 9.8 Exercises; Chapter 10. Inheritance; 10.1 Inheritance Networks; 10.2 Strategies for Defeasible Inheritance; 10.3 A Formal Account of Inheritance Networks; 10.4 Bibliographic Notes; 10.5 Exercises; Chapter 11. Defaults
11.1 Introduction11.2 Closed-World Reasoning; 11.3 Circumscription; 11.4 Default Logic; 11.5 Autoepistemic Logic; 11.6 Conclusion; 11.7 Bibliographic Notes; 11.8 Exercises; Chapter 12. Vagueness, Uncertainty, and Degrees of Belief; 12.1 Noncategorical Reasoning; 12.2 Objective Probability; 12.3 Subjective Probability; 12.4 Vagueness; 12.5 Bibliographic Notes; 12.6 Exercises; Chapter 13. Explanation and Diagnosis; 13.1 Diagnosis; 13.2 Explanation; 13.3 A Circuit Example; 13.4 Beyond the Basics; 13.5 Bibliographic Notes; 13.6 Exercises; Chapter 14. Actions; 14.1 The Situation Calculus
14.2 A Simple Solution to the Frame Problem
Record Nr. UNINA-9910450505103321
Brachman Ronald J. <1949->  
Amsterdam ; ; Boston, : Morgan Kaufmann, c2004
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui