Sciweavers

5451 search results - page 215 / 1091
» Typed Operational Semantics
Sort
View
WADT
2004
Springer
15 years 9 months ago
Ontologies for the Semantic Web in Casl
Abstract. This paper describes a sublanguage of Casl, called CaslDL, that corresponds to the Web Ontology Language (OWL) being used for the semantic web. OWL can thus benefit from...
Klaus Lüttich, Till Mossakowski, Bernd Krieg-...
125
Voted
IFIP12
2008
15 years 5 months ago
Learning Life Cycle in Autonomous Intelligent Systems
Autonomous Intelligent Systems (AIS) integrate planning, learning, and execution in a closed loop, showing an autonomous intelligent behavior. A Learning Life Cycle (LLC) Operators...
Jorge Salvador Ierache, Ramón García...
RULES
1993
Springer
134views Database» more  RULES 1993»
15 years 8 months ago
Temporal Rule Specification and Management in Object-oriented Knowledge Bases
There have been many recent research efforts on temporal databases for managing current and historical data and on active databases for monitoring real-world events as well as dat...
Stanley Y. W. Su, Hsin-Hsing M. Chen
JSA
2006
60views more  JSA 2006»
15 years 4 months ago
A schema version model for complex objects in object-oriented databases
In this paper, we propose a schema version model which allows to restructure complex object hierarchy in object-oriented databases. This model extends a schema version model, call...
Sang-Won Lee, Jung-Ho Ahn, Hyoung-Joo Kim
SEMWEB
2007
Springer
15 years 10 months ago
A Caching Mechanism for Semantic Web Service Discovery
The discovery of suitable Web services for a given task is one of the central operations in Service-oriented Architectures (SOA), and research on Semantic Web services (SWS) aims a...
Michael Stollberg, Martin Hepp, Jörg Hoffmann