Sciweavers

1573 search results - page 76 / 315
» Signs and Formal Concepts
Sort
View
AIMSA
2008
Springer
14 years 4 months ago
Mapping Properties of Heterogeneous Ontologies
Abstract. State of the art formalisms for distributed ontology integration provide ways to express semantic relations between concepts belonging to different ontologies. However, t...
Chiara Ghidini, Luciano Serafini
KSEM
2010
Springer
13 years 8 months ago
Large-Scale, Exhaustive Lattice-Based Structural Auditing of SNOMED CT
One criterion for the well-formedness of ontologies is that their hierarchical structure forms a lattice. Formal Concept Analysis (FCA) has been used as a technique for assessing ...
Guo-Qiang Zhang
JLP
2006
66views more  JLP 2006»
13 years 10 months ago
Petri net modules in the transformation-based component framework
Component-based software engineering needs to be backed by thorough formal concepts and modeling techniques. This paper combines two concepts introduced independently by the two a...
Julia Padberg, Hartmut Ehrig
CSEE
2000
Springer
14 years 2 months ago
Technology Transfer Issues for Formal Methods of Software Specification
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel,...
ICCS
2007
Springer
14 years 4 months ago
Conceptual Fingerprints: Lexical Decomposition by Means of Frames - a Neuro-cognitive Model
Abstract. Frames, i.e., recursive attribute-value structures, are a general format for the decomposition of lexical concepts. Attributes assign unique values to objects and thus de...
Wiebke Petersen, Markus Werning