A Formal Ontology of Properties

By Nicola Guarino, Chris Welty. International Conference Knowledge Engineering and Knowledge Management, 2000

474 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computer Networks and Communications, Molecular Biology

View Paper: https://www.semanticscholar.org/paper/db11028cc9d2d70eff735df9a7a8cdaa2b5247b8

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

In Computer Networks and Communications

In Molecular Biology

Citations in the corpus

Individuals, Universals, Collections: On the Foundational Relations of Ontology (2004, unknown): “Labels for axioms begin with ‘A’, labels for theorems begin with ‘T’, and labels for definitions begin with ‘D’.”
Sweetening WORDNET with DOLCE (2003, background): “An ontology of unary universals is presented in Guarino and Welty (2000).”
An Overview of OntoClean (2004, methodology): “The OntoClean methodology was first introdueed in aseries of eonferenee-Iength papers in 2000 [Guarino and Welty, 2000a-e; Welty and Guarino, 2001], and re eeived mueh attention and use in subsequent years.”
Supporting ontological analysis of taxonomic relationships (2001, methodology): “Constraints (6-10) follow directly from our meta-property definitions (see [14] for more discussion and examples), and (11) should be obvious from the above discussion of identity and unity, but it is largely overlooked in many practical cases [17,14].”
Overview and analysis of methodologies for building ontologies (2002, background): “Guarino and his colleagues’ methodology (Guarino & Welty, 2000; 2001) and Welty & Guarino, 2001) is out of the scope of this paper because this methodology establishes how to analyse and how to clean the taxonomy of a ready-built ontology using a set of principles.”
Sweetening Ontologies with DOLCE (2002, background): “An ontology of unary universals has been presented in [12].”
Methodologies, tools and languages for building ontologies: Where is their meeting point? (2003, methodology): “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.”