A Formal Ontology of Properties

Guarino, Nicola; Welty, Chris

doi:10.1007/3-540-39967-4_8

Cited by 216 publications

(178 citation statements)

References 11 publications

Supporting

Mentioning

150

Contrasting

Unclassified

Order By: Relevance

“…However, many other methods and methodologies have been proposed for other tasks, such as ontology reengineering [29], ontology learning [2,45], ontology evaluation [25,27,35,36,41,42], ontology evolution [47,48,58,63], ontology merging [59], etc. In this paper, we will only focus on methodologies for building ontologies.…”

Section: Methods and Methodologies For Building Ontologiesmentioning

confidence: 99%

Methodologies, tools and languages for building ontologies. Where is their meeting point?

Corcho

Fernández-López

Gómez-Pérez

2003

Data & Knowledge Engineering

538

278

View full text Add to dashboard Cite

In this paper we review and compare the main methodologies, tools and languages for building ontologies that have been reported in the literature, as well as the main relationships among them. Ontology technology is nowadays mature enough: many methodologies, tools and languages are already available. The future work in this field should be driven towards the creation of a common integrated workbench for ontology developers to facilitate ontology development, exchange, evaluation, evolution and management, to provide methodological support for these tasks, and translations to and from different ontology languages. This workbench should not be created from scratch, but instead integrating the technology components that are currently available.

show abstract

Section: Methods and Methodologies For Building Ontologiesmentioning

confidence: 99%

Methodologies, tools and languages for building ontologies. Where is their meeting point?

Corcho

Fernández-López

Gómez-Pérez

2003

Data & Knowledge Engineering

538

278

View full text Add to dashboard Cite

show abstract

“…This process is the basis of processing semantic integration. Originating from philosophical categories of identity, unity, essence, and dependence, Guarino et al [16] presented a set of meta-properties, including rigid property, non-rigid property, anti-rigid property, semi-rigid property, carrier identity, and external dependence, to describe and classify the essential properties of a concept. Kavouras et al [17], focusing on the definitions of categories in geographic ontologies, proposed that semantic properties, such as purpose, location, cover, and semantic relations, such as hypernym, part of, and has part, are essential attributes in distinguishing geographic categories.…”

Section: A Semantic Representation Of Geographical Conceptsmentioning

confidence: 99%

A Concept Lattice for Semantic Integration of Geo-Ontologies Based on Weight of Inclusion Degree Importance and Information Entropy

Xiao

Zhu

2016

Entropy

View full text Add to dashboard Cite

Constructing a merged concept lattice with formal concept analysis (FCA) is an important research direction in the field of integrating multi-source geo-ontologies. Extracting essential geographical properties and reducing the concept lattice are two key points of previous research. A formal integration method is proposed to address the challenges in these two areas. We first extract essential properties from multi-source geo-ontologies and use FCA to build a merged formal context. Second, the combined importance weight of each single attribute of the formal context is calculated by introducing the inclusion degree importance from rough set theory and information entropy; then a weighted formal context is built from the merged formal context. Third, a combined weighted concept lattice is established from the weighted formal context with FCA and the importance weight value of every concept is defined as the sum of weight of attributes belonging to the concept's intent. Finally, semantic granularity of concept is defined by its importance weight; we, then gradually reduce the weighted concept lattice by setting up diminishing threshold of semantic granularity. Additionally, all of those reduced lattices are organized into a regular hierarchy structure based on the threshold of semantic granularity. A workflow is designed to demonstrate this procedure. A case study is conducted to show feasibility and validity of this method and the procedure to integrate multi-source geo-ontologies.

show abstract

“…Formal evaluation has been performed using OntoClean methodology [29]. Its objective was to check formal conformance of the taxonomy structure of the evaluated Suite of Ontologies v.2.2 to the meta-properties of rigidity, identity, and dependence [30]. Formal evaluation of PSI Process ontology together with PSI Upper-Level Ontology [21] revealed that the taxonomical structure is conceptually correct.…”

Section: Implementation and Evaluationmentioning

confidence: 99%

Modeling Actions in Dynamic Engineering Design Processes

Ermolayev¹,

Keberle²,

Jentzsch

et al. 2009

Lecture Notes in Business Information Processing

View full text Add to dashboard Cite

Abstract:The paper presents the approach for modeling actions in the dynamic processes of engineering design in Microelectronics and Integrated Circuits domain. It elaborates the formal framework for representing processes, the states of these processes and process environments, the actions being the constituents of the processes. Presented framework is implemented as the part of PSI Suite of Ontologies and is evaluated using three different methods: user evaluation, formal evaluation, and commonsense evaluation following PSI shaker modeling methodology. The Suite of PSI ontologies is used for representing Dynamic Engineering Design Processes in Cadence Project Planning Expert System software prototype.

show abstract

A Formal Ontology of Properties

Cited by 216 publications

References 11 publications

Methodologies, tools and languages for building ontologies. Where is their meeting point?

Methodologies, tools and languages for building ontologies. Where is their meeting point?

A Concept Lattice for Semantic Integration of Geo-Ontologies Based on Weight of Inclusion Degree Importance and Information Entropy

Modeling Actions in Dynamic Engineering Design Processes

Contact Info

Product

Resources

About