Filters








34,237 Hits in 4.0 sec

Classification of Alignments Between Concepts of Formal Mathematical Systems [chapter]

Dennis Müller, Thibault Gauthier, Cezary Kaliszyk, Michael Kohlhase, Florian Rabe
2017 Lecture Notes in Computer Science  
We speak of alignment if the same concept occurs in different libraries, possibly with slightly different names, notations, or formal definitions.  ...  We present a classification of alignments and design a simple format for describing alignments, as well as an infrastructure for sharing them.  ...  Related Work Alignments between computational corpora occur in bridges between the run time systems of programming languages.  ... 
doi:10.1007/978-3-319-62075-6_7 fatcat:25nchzaurjbarpg4rkav4xdztu

Database Semantic Interoperability based on Information Flow Theory and Formal Concept Analysis

Guanghui Yang, Junkang Feng
2012 International Journal of Information Technology and Computer Science  
In this paper, we aim to answer the question how semantic interoperability between two databases can be achieved by using Formal Concept Analysis (FCA for short) and Information Flow (IF for short) theories  ...  The development of FCA has led to some software systems such as TOSCANA and TUPLEWARE, which can be used as a tool for discovering knowledge in databases.  ...  Formal concept analysis (FCA) Figure 2 2 illustrates the architecture of a system for achieving semantic interoperability between two databases.  ... 
doi:10.5815/ijitcs.2012.07.05 fatcat:5jsogjd57va2vodk5zkf3z73j4

A Formal Foundation for Ontology-Alignment Interaction Models

Marco Schorlemmer, Yannis Kalfoglou, Manuel Atencia
2007 International Journal on Semantic Web and Information Systems (IJSWIS)  
In this article we present a formal foundation for ontology alignment that is based on interaction models between heterogeneous agents on the Semantic Web.  ...  We use the mathematical notion of information flow in a distributed system to ground our three hypotheses of enabling semantic interoperability and we use a motivating example throughout the article: how  ...  captures the regularities established in each classification of the system and of the infomorphisms between them.  ... 
doi:10.4018/jswis.2007040103 fatcat:copgt5vuhvgltalwid74vxxmxu

IF-Map: An Ontology-Mapping Method Based on Information-Flow Theory [chapter]

Yannis Kalfoglou, Marco Schorlemmer
2003 Lecture Notes in Computer Science  
In this paper we present a theory and method for automated ontology mapping based on channel theory, a mathematical theory of semantic information flow.  ...  new need of sharing-that of sharing ontologies.  ...  of Semantics (ODBASE'02), Irvine CA, USA, October 2002.  ... 
doi:10.1007/978-3-540-39733-5_5 fatcat:c4m2nxs6tfcdrhzwfcftututfe

Using Formal Concept Analysis and Information Flow for Modelling and Sharing Common Semantics: Lessons Learnt and Emergent Issues [chapter]

Yannis Kalfoglou, Marco Schorlemmer
2005 Lecture Notes in Computer Science  
Concept Analysis.  ...  We have been witnessing an explosion of user involvement in knowledge creation, publication and access both from within and between organisations.  ...  Classification System), and the inherited taxonomic reasoning which FCA concept lattices provide.  ... 
doi:10.1007/11524564_7 fatcat:vvigzjefpjewtdjy3rsox63vvy

A Model-Based Method for Information Alignment: A Case Study on Educational Standards

Namyoun Choi, Il-Yeol Song, Yongjun Zhu
2016 Journal of Computing Science and Engineering  
matching based on Bloom's Taxonomy, WordNet, and taxonomy of mathematics concepts.  ...  This study continues our previous use of mathematics education as a domain, because of its generally unambiguous concepts.  ...  See Table 1 for the classification of cognitive verbs based on Bloom's Cognitive Taxonomy. 2) Taxonomy of Mathematics Concepts We create taxonomy of K-12 mathematics concepts based on McREL's (Mid-continent  ... 
doi:10.5626/jcse.2016.10.3.85 fatcat:oky44ij5bvedboz27z5hodd2tq

Formal Support for Representing and Automating Semantic Interoperability [chapter]

Yannis Kalfoglou, Marco Schorlemmer
2004 Lecture Notes in Computer Science  
We present an example case of such a scenario where our framework has been applied as well as variations of it in the domain of ontology mapping.  ...  We discuss approaches to semantic heterogeneity and propose a formalisation of semantic interoperability based on the Barwise-Seligman theory of information flow.  ...  Schorlemmer is supported by a 'Ramón y Cajal' Fellowship from the Spanish Ministry of Science and Technology.  ... 
doi:10.1007/978-3-540-25956-5_4 fatcat:2lrxmvnhs5h7xjck56jwdnimym

Aligning Ontologies and Evaluating Concept Similarities [chapter]

Kleber Xavier Sampaio de Souza, Joseph Davis
2004 Lecture Notes in Computer Science  
This article focuses on the alignment of ontologies through Formal Concept Analysis, a data analysis technique founded on lattice theory, and on the use of similarity measures to identify cross-ontology  ...  However, a central issue in the merging process is the evaluation of the differences between two ontologies, viz. the establishment of a similarity measure between their concepts.  ...  Using the Alignment to Evaluate Similarity Between Concepts The lattice showing the result of the alignment gives some clues about which concepts are closer to or farther from some given concept.  ... 
doi:10.1007/978-3-540-30469-2_12 fatcat:ldt5xlb2g5aslk57b2iu22to5m

A Review on ontology alignment and its application to the geospatial domain

2020 International Journal of Emerging Trends in Engineering Research  
As has been seen, the investigations carried out in the field of geo-ontology alignments are far from being completed. There is still no well-defined metodology to perform alignment.  ...  The techniques for the alignment of ontologies have evolved from techniques to treat common ontologies to specific techniques for a specific domain, such as geographic, to the point of defining the term  ...  Then, from these formal concepts, an analysis is performed (Formal Concept Analysis, FCA).  ... 
doi:10.30534/ijeter/2020/163892020 fatcat:spx55pk5und33j7xzhetcsank4

Semantic Repositories in the Interoperability of Health Information Systems

Jallal Manar, Bouhaji Mouna, Ait Moudden Naima, Housbane Samy, Serhier Zineb, Bennani Othmani Mohammed
2017 Journal of Communication and Computer  
The application of this principle allows greater coordination between professionals and requires appropriate and scalable information systems.  ...  The necessary data sharing and the development of information systems strongly emphasizes the issue of semantic interoperability of health systems and management repositories.  ...  Semantic alignment is the relationship between the coded concepts of the two terminologies.  ... 
doi:10.17265/1548-7709/2017.01.003 fatcat:sqnjzr5xijcgzasswdvjswqjhy

The IFF Foundation for Ontological Knowledge Organization [article]

Robert E. Kent
2018 arXiv   pre-print
The paper argues that the integration of ontologies is the two-step process of alignment and unification.  ...  Ontological alignment consists of the sharing of common terminology and semantics through a mediating ontology.  ...  faceted classification system for organizing large research libraries.  ... 
arXiv:1810.04773v1 fatcat:tqrkz7qsuva6rck547nkpbdd4a

Formal Modelling Approach of Enterprise Architecture - Hypergraph based Representation of Business Information Systems

Dóra Öri, Bálint Molnár, Zoltán Szabó
2018 Proceedings of the 20th International Conference on Enterprise Information Systems  
The complexity of strategic alignment is an overwhelming issue in the digital age for organizations.  ...  This approach can be a promising solution for EAM-based analysis of information systems and their organizational context.  ...  Supported by the ÚNKP-17-4 New National Excellence Program of the Ministry of Human Capacities.  ... 
doi:10.5220/0006804607270735 dblp:conf/iceis/OriMS18 fatcat:qjmijcs5nzbdpkffxmmqyrue64

OntoMath^PRO Ontology: A Linked Data Hub for Mathematics [article]

Olga Nevzorova, Nikita Zhiltsov, Alexander Kirillovich, Evgeny Lipachev
2014 arXiv   pre-print
In this paper, we present an ontology of mathematical knowledge concepts that covers a wide range of the fields of mathematics and introduces a balanced representation between comprehensive and sensible  ...  We argue that the ontology can be a core of future integration of math-aware data sets in the Web of Data and, therefore, provide mappings onto relevant datasets, such as DBpedia and ScienceWISE.  ...  Khakimova (University of Virginia) for the assistance in writing the related work section, and three anonymous reviewers for their valuable suggestions.  ... 
arXiv:1407.4833v2 fatcat:ud7ok37qajdwnmb7vc7xdcvyry

Twenty years into the new millennium, how aligned/integrated is Mathematics, Physics and Computer Science at the secondary school level?

Ilsa Basson
2021 Perspectives in Education  
No clear indication of an alignment between the disciplines could be found, which, to a certain extent, puts South Africa outside the international frame.  ...  This study explores the changes in the content and alignment of the three subjects in the South African secondary school system from an interdisciplinary framework perspective.  ...  ACKNOWLEDGEMENT Dr Vreda Pieterse is thanked for discussion and presentation of the complexity of a Physics-Mathematics-Computer Science teaching/learning landscape (Figure 4 ).  ... 
doi:10.18820/2519593x/pie.v39.i4.2 fatcat:2tbxv74lxfa7xh5akknzbc5qrm

Associative and Formal Concepts [chapter]

Uta Priss
2002 Lecture Notes in Computer Science  
In several fields there is a divide between formal and associative models of concepts and reasoning.  ...  This paper investigates the relationship between formal and associative structures and provides suggestions for bridging the gap between the two modes of representation.  ...  A classification of concepts This section presents a classification of concepts (see figure 1 ) which serves to highlight some of the differences between formal and associative concepts.  ... 
doi:10.1007/3-540-45483-7_27 fatcat:x27zqi3xfrgdfk5y4jtrm4jynm
« Previous Showing results 1 — 15 out of 34,237 results