Conceptual Structures for Discovering Knowledge

Name: Conceptual Structures for Discovering Knowledge | 19th International Conference on Conceptual Structures, ICCS 2011, Derby, UK, July 25-29, 2011, Proceedings
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

19th International Conference on Conceptual Structures, ICCS 2011, Derby, UK, July 25-29, 2011, Proceedings

Simon Andrews Simon Polovina Richard Hill Babak Akhgar(Herausgeber*in)

Springer (Verlag)

Erschienen am 18. Juli 2011

XIV, 424 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-22688-5 (ISBN)

53,49 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

Title
Preface
Conference Organization
Table of Contents
Invited Papers
Semantic Technologies for Enterprises
Introduction
What Are Semantic Technologies?
Core Semantic Technologies
Enablers for Semantic Technologies
Semantic Web vs. Semantic Enterprise
Benefits of Semantic Technologies
Data Integration and Federation
Agile Schema Development
Semantic Search Capabilities
Collaborative/Social Computing
Costs of Semantic Technologies
Technical Challenges
Modelling Challenges
Measuring Challenges
Educational Challenges
Buy-In for the Conceptual Structures Community
Conclusion
References
Utility and Feasibility of Reasoning beyond Decidability in Semantic Technologies
Introduction
Recap: Decidability and Semidecidability
A Classification of Decision Procedures by Usefulness
On the Importance of Failsafe Decision Procedures
Where Failsafe Decidability Is Crucial
Where Failsafe Decidability Is Dispensable
OWL, Syntactic and Semantic Variants
FOL-Empowered OWL Reasoning beyond Decidability
Translating Direct Semantics Reasoning into FOL
Translating RDF-Based Semantics Reasoning into FOL
Experimental Results
Come on, Logic!
Conclusion
References
Cognitive Architectures for Conceptual Structures
Cognitive Architectures
The CS Cognitive Architecture
Neural and Psycholinguistic Evidence
Peirce's Logic and Semiotics
VivoMind Cognitive Architecture
References
Accepted Papers
In-Close2, a High Performance Formal Concept Miner
Introduction
The In-Close2 Design
Structure of In-Close2
Explanation of Main Procedure, InCloseII
Explanation of Procedure IsCanonical
The Effect of Attribute Inheritance on Performance
Data Preprocessing and Optimisation Techniques for Efficient Use of Cache Memory
Physical Column Sorting
Reducing Row Hamming Distance
Using a Bit-Array
In-Close2 Performance Evaluation
Public Data Set Experiments
Artificial Data Set Experiments
Random Data Set Experiments
Application of Context Reduction by In-Close2 in Gene Co-expression Analysis
Conclusion
References
A Mapping from Conceptual Graphs to Formal Concept Analysis
Introduction
Motivation
Conceptual Graphs (CGs)
Concepts and Relations
Mapping CGs to FCA
A CG to FCA Algorithm
A Simple University Scenario Example
The CG for the Example
CGtoFCA
An Integrated, Interoperable Conceptual Structure
An Enhanced TM
Wille's CG to FCA Approach
Conclusions
References
Partial Orders and Logical Concept Analysis to Explore Patterns Extracted by Data Mining
Introduction
Case Studies
Natural Language Processing Task
Fault Localization Task
Logical Concept Analysis (LCA)
Logic and Partial Order
Logical Context
The Proposed LCA Framework to Navigate into the Set of Extracted Patterns.
Preliminaries
A Logical Context to Explore Extracted Patterns
User Actions: Navigation and Updating
Stopping Criterion
The Fault Localization Example
Discussion
Related Work
Conclusion
References
A Buzz and E-Reputation Monitoring Tool for Twitter Based on Galois Lattices
Introduction
Twitter and Micro-blogging
Formal Concept Analysis - Galois Lattices
E-Buzz Monitoring
Conclusions and Perspectives
References
Using Generalization of Syntactic Parse Trees for Taxonomy Capture on the Web
Introduction
Improving Search Relevance by Ontologies
Building Taxonomy by Web Mining
Filtering Answers Based on Taxonomy
Syntactic Generalization of Sentences
Evaluation of Search Relevance Improvement
Commercial Evaluation of Text Similarity Improvement
Related Work and Conclusions
References
A.N. Prior's Ideas on Tensed Ontology
A.N. Prior on Time and Existence
The Logic of Past and Future Objects
The Barcan Formulae
Quantifying over Possible Objects
Asymmetry between the Past and the Future
Towards a Theory of Tensed Ontology
Time and Existence in Modern Ontologies
Conclusion
References
Crowdsourced Knowledge: Peril and Promise for Conceptual Structures Research
Introduction
Open Domain Question Answering Systems
Evolution of QA Research
Sample of Recent QA Research Projects
Current State of the Art
The Most Often Repeated (MOR) Problem
MOR in Web Journalism
Truth about Lies
Peirce's Economy of Research (EOR)
EOR and Scientific Methodology
MOR as a Confidence Game
EOR as a Crowdsourcing Knowledge Game?
Perspectives and Promise
Notes
References
Evaluating the Transaction Graph through a Financial Trading Case Study
Introduction
The Financial Trading Case Study
Model Fundamentals
Capture Transactional Use-Case
Transform Transactional Use-Case into Conceptual Graphs
Integrate Conceptual Graphs with the Generic Transaction Model
Model Visualisation
Rule Refinement
Model Automation
Concluding Remarks
References
Integration of the Controlled Language ACE to the Amine Platform
Introduction
ACE and DRS
ACE
DRS
DRS2CG Mapping
Simple Sentences
Composites Sentences
ACE2CG Integration into the Amine Platform
ACE2CG Graphical User Interface
Conceptual Structures in ACE
Text Analysis and Questions Answering System (TAQAS)
ACE as an Executable Specification Language, with ACE2CG and Prolog+CG
Conclusion
Future Works
References
Identifying Relations between Medical Concepts by Parsing UMLS Definitions
Introduction
Related Work
Prerequisites
Extracting Relations from UMLS Definitions
Definition Extraction
Definition Parsing and Relation Explication
Adding New Relations to the Original Relation Set
Discussion
Conclusion
References
Topicality in Logic-Based Ontologies
Introduction
Preliminaries
Topicality
Logic-Based Notions of Coherence
Signature Independence
?-Signature Independence
Natural Independence
(Ir)relevance
Minimal (Ir)relevance
Discussion and Outlook
References
A Concept Discovery Approach for Fighting Human Trafficking and Forced Prostitution
Introduction
Human Trafficking and Forced Prostitution
Dataset
Method
Analysis and Results
Detection of Suspects of Human Trafficking and Forced Prostitution
Case 1: Turkish Human Trafficking Network
Case 2: Bulgarian Male Suspect
Case 3: Loverboy Suspect
Conclusions
References
A Modeling Method and Declarative Language for Temporal Reasoning Based on Fluid Qualities
Introduction
A Modeling Method Based on Fluid Qualities
Modeling Primitives
Representing Time
A Declarative Language Based on Fluid Qualities
Motivation
Defining Quality Prototypes
Rules
Representing and Computing Values
Case Study: A Model for Intelligent Buildings
Related Work
Conclusions and Future Work
References
Expressing Conceptual Graph Queries from Patterns: How to Take into Account the Relations
Introduction
Overview of Our System
Description of the Process
The Terminological Knowledge: The Support
The Query Patterns
Description of the Process
Step 1: Expressing the User Queries
Step 2: Matching of the Query Elements
Step 3: Mapping the Patterns to the User Query
Step 4: Ranking the Mappings
Step 5: Generating Explicative Sentences and the Query
Implementation and Experimentation
Conclusion
References
Unix Systems Monitoring with FCA
Introduction
Published FCA Research in the Area of IT Security
Some Unix Background on Temporal Data and File Hierarchies
Modelling with FCA
Four Examples of Exploring Unix System Data with FCA
Conclusion
References
Supporting Ontology Design through Large-Scale FCA-Based Ontology Restructuring
Introduction
The Restructuring Problem
Design Quality Criteria
Refactoring Example
Theoretical Background on Concept Analysis
Inukhuk: Service Oriented Platform for Maintaining Ontologies Using rca
Overall Process of Refactoring
Aligning Ontology Elements
Modelling the Data
Analysis of the Relational Data
Generating the Refactored Ontology
Implementing and Validating the Approach
Implementation
Experiments
Related Work
Conclusion
References
Towards a Formalization of Individual Work Execution at Computer Workplaces
Introduction
Running Example and Requirements
Running Example: Pete Plans a Conference Travel
Modeling Requirements
Activity Theory as Perspective on Work Execution
Activity Theory and Situated Behavior
Situated Behavior at Computer Workplaces
Modeling Basis
Computer Work Ontology (CWO)
Tool: Computer Workplace Environment
Subject: Task Execution
Object: Work Execution
Related Work
Conclusion
References
Semi-supervised Learning for Mixed-Type Data via Formal Concept Analysis
Introduction
Data Preprocessing
Learning via FCA
Making Concept Lattices by FCA
Learning with Labels
Classification
Experiments
Materials and Methods
Results and Discussion
Related Work
Conclusion
References
Short Papers
Towards Structuring Episodes in Patient History
Introduction
Episodes in Hospital Patient Records
Automatic Discovery of Episodes
Conclusion
References
Rigorous, and Informal?
Introduction
Boundaries of Formal Theory
Nearly Formal Systems
Conclusion
References
OpenSEA - Using Common Logic to Provide a Semantic Enterprise Architecture Framework
Introduction
Formalising the Enterprise Architecture
A Common Toolset and a Common Language
Gathering Knowledge across the Enterprise
Semantic Business Process Management
TOGAF and Common Logic
The Extended Ontology
Stability and Agility: Formalising TOGAF
Further Research
References
International Workshop on the Concept Formation and Extraction in Under- Traversed Domains
An Android Based Medication Reminder System: A Concept Analysis Approach
Introduction
Concept Definition for Digitized Images
Concept Analysis
Concept Mapping
Concept-Row Analysis
Calendar Event Creation
Experimental Results
Conclusion and Future Research
References
System Decomposition for Temporal Concept Analysis
Introduction
Temporal Concept Attribute Models (TCAM)
Network Decomposition
Structural Decomposition
Functional Decomposition
Discussion
Conclusion
References
Modeling UAS Swarm System Using Conceptual and Dynamic Architectural Modeling Concepts
Introduction
Control Architecture for UAS Swarm
Analysis of Control Architectures
The Formal Description of Conceptual Software Architecture
Conclusion and Future Work
References
Name Extraction and Formal Concept Analysis
Introduction
Overview of Our Approach
The Information Lists
Recipe for the Master List
Criteria for Selecting Words from Word Lists for Master List
Conclusion and Future Work
References
International Workshop on Task Specific Information Retrieval
Towards the Development of an Integrated Framework for Enhancing Enterprise Search Using Latent Semantic Indexing
Introduction
Enterprise Search Problems
Heterogeneous Documents
Non-web Document
Search Context
The Proposed Framework
Apache Hadoop
Apache Tika
Apache Solr
Latent Semantic Indexing
Conclusions and Future Work
References
Trace of Objects to Retrieve Prediction Patterns of Activities in Smart Homes
Introduction
Modeling the Activities Realization and Prediction Patterns
Definitions
Pattern Learning
Concluding Remarks
References
Distributed Context Aware Collaborative Filtering Approach for Service Selection in Wireless Mesh Networks
Introduction
Related Work
System Model
Problem Definition
Proposed Approach
Rating by Users for a Particular Service
Context Aware Service Selection (CASS) Algorithm
Results and Discussion
Conclusions
References
A Framework for the Evaluation of Adaptive IR Systems through Implicit Recommendation
Introduction
A Review of Personalisation Approaches and Evaluation Techniques for AIRS
Overview of Personalisation Approaches
Evaluation Approaches for PIR Systems
The Proposed Personalised Framework
Methodology and Architectural Approach
Implementation and Technologies Used
Proposed Implicit Recommendation Algorithm
Benefits and Functions of the Framework
Task-Based Experiments and User Evaluations
Conclusion and Future Work
References
MedMatch - Towards Domain Specific Semantic Matching
Introduction
Domain Specific Terminology and Related Work
SMatchComparison
Background Knowledge Requirements
FMAEvaluation
Algorithm Changes Required for Use with the FMA
Step 1 - String to Formula Conversion
Step 2 - Context Creation and Filtering
Step 3 - Atomic Formula Matching
Conclusion
References
Application Identification of Semantic Web Techniques in KM Systems
Introduction
Areas on the Semantic Web for KM
Semantic Web
The Semantic Web as Innovation Tool for KM
Integration Limitation
Improving the Knowledge Creation Cycle
Sharing Knowledge
Semantic Annotation
Input Data Validation
Conclusion
References
Conceptual Structures - Learning, Teaching and Assessment Workshop
Aligning the Teaching of FCA with Existing Module Learning Outcomes
Introduction
Biggs Constructive Alignment
Yin's Case Study Research Method
Data Collection
Applying the Method: The Four Cycle Smart Applications Project
Cycle 1: 2007/8
Cycle 2: 2008/9
Cycles 3 & 4: 2009/10 & 2010/11
Conclusion
References
A Proposal for Developing a Primer for Constructing and Analyzing Conceptual Structures
Introduction
Rationale
Networking with Other Initiatives
Special Interest Group
A Draft Framework of the Primer
References
Internationalising the Computing Curricula: A Peircian Approach
Introduction
Critical Thinking
Cultural Perspectives
The Peircian Approach
Managing Doubt
A Case Study: Teaching Introductory Programming
Learning Outcomes
Module Organisation
Discussion
Conclusion
References
Broadening the Ontological Perspectives in Science Learning: Implications for Research and Practice in Science Teaching
The Function of Ontology in Science Education
Linkage between Ontology and Knowledge Representation
Knowledge-Based Instruction as a Framework for Science Education
Ontological Implications of Knowledge-Based Instruction for Research and Practice in Science Education
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken