Sciweavers

2705 search results - page 34 / 541
» Formal Ontology for Subject
Sort
View
DEXA
2000
Springer
82views Database» more  DEXA 2000»
14 years 16 hour 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
13 years 9 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...
GCC
2003
Springer
14 years 27 days ago
A Formal Data Model and Algebra for Resource Sharing in Grid
Management of various complex resources is an important issue to be well done, in order to fulfill the potential of Grid. In this paper, we propose a formal data model and algebra ...
Qiujian Sheng, Zhongzhi Shi
STORYTELLING
2005
Springer
14 years 1 months ago
Formal Encoding of Drama Ontology
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
Rossana Damiano, Vincenzo Lombardo, Antonio Pizzo
ACIIDS
2009
IEEE
122views Database» more  ACIIDS 2009»
14 years 24 days ago
Student Modelling Based on Ontologies
— In this paper I show how ontologies support the student modelling through the semantic definition of concepts that depict a student. The aim is to outline the framework for bui...
Alejandro Peña Ayala