Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer, , [2003]
Descrizione fisica	1 online resource (XII, 405 pages)
Disciplina	003.54
Collana	Lecture notes in artificial intelligence
Soggetto topico	Conceptual structures (Information theory) Graph theory Logic diagrams Knowledge representation (Information theory) Natural language processing (Computer science)
ISBN	3-540-45091-2
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	The Many Facets of Conceptual Structures -- Conceptual Contents as Information – Basics for Contextual Judgment Logic -- Analogical Reasoning -- Hegel in a Strange Costume -- Different Kinds of Comparisons between Fuzzy Conceptual Graphs -- Intensional Formalization of Conceptual Structures -- Hypotheses and Version Spaces -- Logical and Linguistic Aspects -- Description Logics for Ontologies -- Computing the Least Common Subsumer in the Description Logic w.r.t. Terminological Cycles with Descriptive Semantics -- Creation and Merging of Ontology Top-Levels -- Dynamic Type Creation in Metaphor Interpretation and Analogical Reasoning: A Case-Study with WordNet -- Correction and Extension of WordNet 1.7 -- Conceptual Representations of Time and Space -- Representing Temporal Ontology in Conceptual Graphs -- Time Dimension, Objects, and Life Tracks. A Conceptual Analysis -- Representing Time and Modality in Narratives with Conceptual Graphs -- Modeling and Representing Structures for Analyzing Spatial Organization in Agronomy -- Deepening the Formal Theory -- Simple Conceptual Graphs Revisited: Hypergraphs and Conjunctive Types for Efficient Projection Algorithms -- Concept Graphs without Negations: Standard Models and Standard Graphs -- Distributed Systems with Simple Concept Graphs -- Concept Graphs with Subdivision: A Semantic Approach -- A Generic Scheme for the Design of Efficient On-Line Algorithms for Lattices -- Applications of Conceptual Structures -- Towards Building Active Knowledge Systems with Conceptual Graphs -- Formalizing Botanical Taxonomies -- Conceptual Graphs Self-tutoring System -- Cognitive Map of Conceptual Graphs: A Graphical Model to Help for Decision -- Mining Concise Representations of Frequent Multidimensional Patterns -- Sesei: A CG-Based Filter for Internet Search Engines -- A Semantic Search Approach by Graph Matching with Negations and Inferences -- Using Conceptual Graphs to Capture Semantics of Agent Communication.
Record Nr.	UNINA-9910144033703321

Autore	Lange Christoph
Pubbl/distr/stampa	Heidelberg, Germany : , : IOS Press : , : AKA, , 2011
Descrizione fisica	1 online resource (610 p.)
Disciplina	006.332
Collana	Studies on the Semantic Web
Soggetto topico	Knowledge representation (Information theory) Semantic Web Mathematics OMDoc (Document markup language)
Soggetto genere / forma	Electronic books.
ISBN	1-61499-345-9
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Title Page; Contents; Abstract; Acknowledgments; Part I. Introduction; Chapter 1. Web Collaboration on Mathematical Knowledge; Current Practices of ""Doing Mathematics""; Enabling Management, Understanding, and Application of Mathematical Knowledge; Web 2.0 and Semantic Web in Science; Mathematics on the Web - State of the Art and Challenges; Collaborative Mathematics on the Web - Why Retry Now?; Challenges to be Addressed by a New MKM Infrastructure; Structure and Contribution of this Thesis; Part II. Knowledge Representation; Chapter 2. Representing Mathematical Knowledge Structures of Mathematical KnowledgeRequirements for Reusably Representing and Exchanging Mathematical Knowledge; Knowledge Representation on the [Semantic] Web (State of the Art); Representing Semiformal Mathematical Knowledge (State of the Art); Designing an Improved Representation and Exchange Language; Chapter 3. Ontologies for Structures of Mathematical Knowledge; Overview of the Ontologies by Structural Dimension; Logical and Functional Structures, and Notation; Rhetorical and Document Structures; Metadata; The Application Environment; Discussions about Knowledge Items Requirements for Extracting Structures from Semantic Markup to RDFRelated Work; Conclusion and Future Work; Chapter 4. Using Mathematical Markup for Implementing and Documenting Expressive Ontologies; Problem and Requirements Statement; State of the Art; Implementing and Documenting Heterogeneous Ontologies in OMDoc; Implementation of the OMDoc Ontology; Case Study: Reimplementing FOAF in OMDoc; Related Work; Conclusion and Future Work; Chapter 5. Multi-Dimensional Metadata Markup; The Metadata Syntax of OMDoc 1.2 (State of the Art); The new OMDoc+RDFa Metadata Framework; Related Work ConclusionPart III. Services and their Integration; Chapter 6. Primitive Services for Managing Mathematical Knowledge; Tasks, Scenarios, and Required Primitive Services; Editing; Validating; Human- and Machine-Comprehensible Publishing; Information Retrieval; Arguing about Problems and their Solutions; Conclusion; Chapter 7. Integrating Assistive Services into Interactive Documents; State of the Art and Related Work; Requirements for Integrating Services into Documents; The JOBAD Architecture; In-Document Client Services; Symbol-based Client Services; Expression-based Client Services Conclusion and Future WorkChapter 8. Transparent Translations in Knowledge Bases; Extracting Structures from Semantic Markup; Migration to More Expressive Languages; Coping with Different Representation Granularities on Import and Export; Recommendations for Running Translations Transparently; Conclusion; Chapter 9. The Semantic Wiki SWiM - An Integrated Collaboration Environment; Wikis and Semantic Wikis (State of the Art); Requirements Analysis and Design Decisions; Architecture; How SWiM Supports OpenMath CD Maintenance Workflows; Related Work; Conclusion and Future Work Chapter 10. Usability Evaluation of an Integrated Environment for Maintaining Semiformal Collections
Record Nr.	UNINA-9910453457003321

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

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