Sciweavers

1317 search results - page 44 / 264
» Fusions of Description Logics and Abstract Description Syste...
Sort
View
ROBOCUP
2001
Springer
88views Robotics» more  ROBOCUP 2001»
15 years 6 months ago
Rogi Team Description
Abstract. This paper resumes the main features of the RoGi Team. It explains whole system, including global vision and decision systems and robots.
Josep Lluís de la Rosa, Bianca Innocenti, M...
145
Voted
WWW
2003
ACM
16 years 2 months ago
SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions
SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial auto...
Benjamin N. Grosof, Terrence C. Poon
103
Voted
RULEML
2004
Springer
15 years 7 months ago
SweetProlog: A System to Integrate Ontologies and Rules
Abstract. This paper describes the design and implementation of SweetProlog, a system for translating Web rules into Prolog. It enables the integration of ontologies and rules on t...
Loredana Laera, Valentina A. M. Tamma, Trevor J. M...
105
Voted
KSEM
2007
Springer
15 years 8 months ago
A Diagrammatic Reasoning System for ALC
Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...
Frithjof Dau, Peter W. Eklund
FTDCS
2004
IEEE
15 years 5 months ago
Introducing Compositionality in Web Service Descriptions
Web services are essentially black box components from a composer's or a mediator's perspective. The behavioural description of any service can be asserted by the compos...
Monika Solanki, Antonio Cau, Hussein Zedan