Sciweavers

1587 search results - page 28 / 318
» The Semantics of Extended SOFL
Sort
View
SOSYM
2002
188views more  SOSYM 2002»
13 years 7 months ago
Extending the Unified Modeling Language for ontology development
Abstract. There is rapidly growing momentum for web enabled agents that reason about and dynamically integrate the appropriate knowledge and services at run-time. The dynamic integ...
Kenneth Baclawski, Mieczyslaw M. Kokar, Paul A. Ko...
LICS
1997
IEEE
13 years 11 months ago
Semantics of Exact Real Arithmetic
In this paper, we incorporate a representation of the non-negative extended real numbers based on the composition of linear fractional transformations with nonnegative integer coe...
Peter John Potts, Abbas Edalat, Martín H&ou...
SKG
2005
IEEE
14 years 1 months ago
DLOnto: A Semantic Information Model for Digital Libraries
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 ...
Ming Zhang, Zhi-Hong Deng, Shukai Ding, Dongqing Y...
WEBI
2005
Springer
14 years 1 months ago
Towards a Tuplespace-Based Middleware for the Semantic Web
The realization of the Semantic Web needs a set of specialized middleware as its infrastructure. In this paper we describe the principles of tuplespace computing, explain why tupl...
Robert Tolksdorf, Elena Paslaru Bontas, Lyndon J. ...
WLP
2005
Springer
14 years 1 months ago
Level Mapping Characterizations of Selector Generated Models for Logic Programs
Assigning semantics to logic programs via selector generated models (Schwarz 2002/2003) extends several semantics, like the stable, the inflationary, and the stable generated sema...
Pascal Hitzler, Sibylle Schwarz