scholarly journals Exploring, Reasoning with and Validating Directed Graphs by Applying Formal Concept Analysis to Conceptual Graphs

2018 ◽  
pp. 3-28 ◽  
Author(s):  
Simon Andrews ◽  
Simon Polovina
Keyword(s):  
Formal Concept Analysis ◽  
Directed Graphs ◽  
Concept Analysis ◽  
Formal Concept ◽  
Conceptual Graphs

scholarly journals Modularising the Complex Meta-Models in Enterprise Systems Using Conceptual Structures

2018 ◽  
pp. 261-283 ◽  
Author(s):  
Simon Polovina ◽  
Hans-Jurgen Scheruhn ◽  
Mark von Rosing
Keyword(s):  
Information Processing ◽  
Formal Concept Analysis ◽  
Enterprise Architecture ◽  
Enterprise Systems ◽  
Concept Analysis ◽  
Formal Concept ◽  
Conceptual Graphs ◽  
Enterprise Information ◽  
Meta Model ◽  
Conceptual Structures

The development of meta-models in Enterprise Modelling, Enterprise Engineering, and Enterprise Architecture enables an enterprise to add value and meet its obligations to its stakeholders. This value is however undermined by the complexity in the meta-models which have become difficult to visualise thus deterring the human-driven process. These experiences have driven the development of layers and levels in the modular meta-model. Conceptual Structures (CS), described as “Information Processing in Mind and Machine”, align the way computers work with how humans think. Using the Enterprise Information Meta-model Architecture (EIMA) as an exemplar, two forms of CS known as Conceptual Graphs (CGs) and Formal Concept Analysis (FCA) are brought together through the CGtoFCA algorithm, thereby mathematically evaluating the effectiveness of the layers and levels in these meta-models. The work reveals the useful contribution that this approach brings in actualising the modularising of complex meta-models in enterprise systems using conceptual structures.

scholarly journals Continuous Domains in Formal Concept Analysis*

2021 ◽  
Vol 179 (3) ◽  
pp. 295-319
Author(s):  
Longchun Wang ◽  
Lankun Guo ◽  
Qingguo Li
Keyword(s):  
Formal Concept Analysis ◽  
Concept Analysis ◽  
Continuous Functions ◽  
Formal Context ◽  
Formal Concept ◽  
Contractive Mappings ◽  
Continuous Domains ◽  
Algebraic Domains ◽  
Scott Continuous ◽  
Continuous Domain

Formal Concept Analysis (FCA) has been proven to be an effective method of restructuring complete lattices and various algebraic domains. In this paper, the notion of contractive mappings over formal contexts is proposed, which can be viewed as a generalization of interior operators on sets into the framework of FCA. Then, by considering subset-selections consistent with contractive mappings, the notions of attribute continuous formal contexts and continuous concepts are introduced. It is shown that the set of continuous concepts of an attribute continuous formal context forms a continuous domain, and every continuous domain can be restructured in this way. Moreover, the notion of F-morphisms is identified to produce a category equivalent to that of continuous domains with Scott continuous functions. The paper also investigates the representations of various subclasses of continuous domains including algebraic domains and stably continuous semilattices.

The Research of Semantic Web Service Matching Algorithm Based on the Formal Concept Analysis

2013 ◽  
Vol 760-762 ◽  
pp. 1708-1712
Author(s):  
Ying Fang Li ◽  
Ying Jiang Li ◽  
Yan Li ◽  
Yang Bo
Keyword(s):  
Semantic Web ◽  
Web Service ◽  
Formal Concept Analysis ◽  
Service Discovery ◽  
Concept Lattice ◽  
Concept Analysis ◽  
Formal Concept ◽  
Semantic Web Service ◽  
Matching Algorithm ◽  
Service Matching

At present, as the number of web services resources on the network drastically increased, how to quickly and efficiently find the needed services from publishing services has become a problem to resolve. Aiming at the problems of low efficiency in service discovery of traditional web service, the formal concept analysis ( FCA) is introduced into the semantic Web service matching, and a Matching Algorithm based semantic web service is proposed. With considering the concept of limited inheritance,this method introduces the concept of limited inheritance to the semantic similarity calculation based on the concept lattice. It is significant in enhancing the service function matching in practical applications through adjust the calculation.

Sign in / Sign up

Export Citation Format

Share Document