1933 search results - page 113 / 387 » A Dynamic Theory of Ontology |
IANDC
2010
13 years 9 months ago
2010
The semantics of name-passing calculi is often defined employing coalgebraic models over presheaf categories. This elegant theory lacks finiteness properties, hence it is not ap...
WWW
2004
ACM
14 years 11 months ago
2004
ACM
Although the OWL Web Ontology Language adds considerable expressive power to the Semantic Web it does have expressive limitations, particularly with respect to what can be said ab...
ACOM
2006
Springer
14 years 4 months ago
2006
Springer
In this research, we re-arrange FIPA’s ACL performatives to form a subsumption lattice (ontology) and apply a theory of social commitments to achieve a simplified and observable...
SKG
2005
IEEE
14 years 4 months ago
2005
IEEE
In this paper, we propose the Semantic Information Model for Digital Libraries - DLOnto based on the theory of the Semantic Web, and give the formalized definition of and relative ...
CAISE
2004
Springer
14 years 4 months ago
2004
Springer
Six basic notions concerning business processes and their supporting information systems are presented and discussed, on the basis of one common theory. This yields that these noti...