Sciweavers

3081 search results - page 38 / 617
» A Formal Ontology of Properties
Sort
View
WISE
2005
Springer
15 years 5 months ago
A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web
Abstract. Answering a query over a group of RDF data pages is a trivial process. However, in the Semantic Web, there is a need for ontology technology. Consequently, OWL, a family ...
Pakornpong Pothipruk, Guido Governatori
AO
2005
147views more  AO 2005»
14 years 11 months ago
Domain modelling and NLP: Formal ontologies? Lexica? Or a bit of both?
There are a number of genuinely open questions concerning the use of domain models in nlp. It would be great if contributors to Applied Ontology could help addressing them rather ...
Massimo Poesio
ECAI
2000
Springer
15 years 4 months ago
Identity, Unity, and Individuality: Towards a Formal Toolkit for Ontological Analysis
We introduce here the notions of identity and unity as they have been discussed in Philosophy, and then provide additional clarifications needed to use these notions as fundamental...
Nicola Guarino, Christopher A. Welty
DEXA
2000
Springer
82views Database» more  DEXA 2000»
15 years 4 months ago
A Qualitative Formalization of Built Environments
Abstract. In this paper I argue that a qualitative formalization of built environments needs to take into account: (1) the ontological distinction between bonafide and fiat bound...
Thomas Bittner
ECAI
2008
Springer
15 years 1 months ago
A Formal Approach for RDF/S Ontology Evolution
Abstract. In this paper, we consider the problem of ontology evolution in the face of a change operation. We devise a general-purpose algorithm for determining the effects and side...
George Konstantinidis, Giorgos Flouris, Grigoris A...