Sciweavers

1375 search results - page 172 / 275
» SDL-2000: A Language with a Formal Semantics
Sort
View
ISPA
2005
Springer
15 years 3 months ago
OWL2Jess: A Transformational Implementation of the OWL Semantics
The wide scale usage of OWL for the formalization of real-world ontologies is currently influenced by important limitations which concern both its expressivity and the efficiency ...
Jing Mei, Elena Paslaru Bontas, Zuoquan Lin
SDB
1995
91views Database» more  SDB 1995»
15 years 1 months ago
Semantics in Spatial Databases
In this paper we discuss two data models for spatial database systems: the linear data model and the topological data model. Both can be used to model a wide range of applications....
Bart Kuijpers, Jan Paredaens, Luc Vandeurzen
IFM
2009
Springer
119views Formal Methods» more  IFM 2009»
15 years 4 months ago
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
Jan Stöcker, Frédéric Lang, Hub...
ATAL
2007
Springer
15 years 4 months ago
When price is not enough: combining logical and numerical issues in bilateral negotiation
We present a novel approach to knowledge-based automated oneshot multi-issue bilateral negotiation handling, in a homogeneous setting, both numerical features and non-numerical on...
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciasc...
KI
2007
Springer
15 years 4 months ago
Integrating Action Calculi and Description Logics
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
Conrad Drescher, Michael Thielscher