Conceptual Structures for Discovering Knowledge
19th International Conference on Conceptual Structures, ICCS 2011, Derby, UK, July 25-29, 2011, Proceedings
Published on 18. July 2011
XIV, 424 pages
978-3-642-22688-5 (ISBN)
Description
This book constitutes the proceedings of the 19th International Conference on Conceptual Structures, ICCS 2011, held in Derby, UK, in July 2011. The 18 full papers and 4 short papers presented together with 12 workshop papers were carefully reviewed and selected for inclusion in the book. The volume also contains 3 invited talks.
ICCS focuses on the useful representation and analysis of conceptual knowledge with research and business applications. It advances the theory and practice in connecting the user's conceptual approach to problem solving with the formal structures that computer applications need to bring their productivity to bear. Conceptual structures (CS) represent a family of approaches that builds on the successes of artificial intelligence, business intelligence, computational linguistics, conceptual modelling, information and Web technologies, user modelling, and knowledge management. Two of the workshops contained in this volume cover CS and knowledge discovery in under-traversed domains and in task specific information retrieval. The third addresses CD in learning, teaching and assessment.
More details
Other editions
Additional editions
Simon Andrews | Simon Polovina | Richard Hill
Conceptual Structures for Discovering Knowledge
19th International Conference on Conceptual Structures, ICCS 2011, Derby, UK, July 25-29, 2011, Proceedings
Book
07/2011
1st Edition
Springer
€53.49
Shipment within 7-9 days
Content
- 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
