Sciweavers

5451 search results - page 215 / 1091
» Typed Operational Semantics
Sort
View
WADT
2004
Springer
16 years 11 days 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-...
IFIP12
2008
15 years 8 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...
174
Voted
RULES
1993
Springer
134views Database» more  RULES 1993»
15 years 11 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
159
Voted
JSA
2006
60views more  JSA 2006»
15 years 7 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
200
Voted
SEMWEB
2007
Springer
16 years 1 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