(burstein@bbn.com) BBN Technologies, Cambridge, MA. Christoph Bussler (chris.bussler ... Mike Dean, BBN Technologies. Andreas Eberhart, AIFB, Univ. of Karlsruhe ...
... (some OWL-Full features for cheap) Based on F-logic ... Services can sell tickets from city A to city B or sell citipasses for a city. Features shown: ...
Travel Agents (TA) broker business services. Service Agents (SA) offer travel services ... Auction Service Agents (ASA) operate auctions (between CA and TA) ...
We have sketched a specific way to build up a formula M(.) as described ... (informal statement): Is there a 'generic' first-order formula ( M(.), Nsuch that ...
Diversity of rules and rule-based reasoning. Advantages and ... Otter. EProver. Rewrite. Rules. SWSL. CHRV. CHR. QVT. Java. Smalltalk. C . Pure OO. Languages ...
OWL unsatisfactory expressivity, not even simply rules like: ... More expressivity than OWL is necessary, the standards discussion is not over! Challenges: ...
Harold Boley (National Research Council of Canada) ... Michael Gruninger (Unniversity of Toronto) ... Michael Kifer (State University of New York at Stony Brook) ...
Boualem Benatallah, University of South Wales, Australia. Fabio Casati, ... Michael Huhns, University of South Carolina. Atanas Kiryakov, Sirma Ltd., Bulgaria ...
Mailing list for technical discussions: deri-wsmo-discussion@informatik.uibk.ac.at ... it provides significant more flexibility in writing down required axioms. ...
David Martin for DAML-S Coalition 05/08/2003. These s will be available here: ... Intranets, not just internets. W3C Web services efforts. Semantic Web community ...
Interaction Protocols Specifications (SC00026 SC00030, XC00031, XC00032, ... Business process execution language for Web Services specification (BPEL4WS) 9/15/09 ...
A Conceptual Model for SWS. A Formal Language for WSMO. A Rule-based Language for SW ... SWRL is as undecidable and untractable as first order logic. ...
On-the-fly composition. Integrated use with information resources ... Web service selection & composition. Arrange food for 500 people for 2 weeks in Dubai. ...
Attributes can be viewed as methods with no arguments. Queries: ... No-brainer in F-logic: Use : and :: Concept definitions. Use type signatures. For instance ...
Tecnolog as XML y Web Sem ntica Departamento de Inform tica Universidad de Oviedo Fundamentos de la Web Sem ntica Justificaci n Esquema General Principales ...
Data model and API for service publication/searching. Contains links to WSDL documents ... Approach IV Similarity Measures and Information Retrieval Techniques ...
OWL, F-Logic, General First Order Logic, Situation Calculus, PDDL ... Major current contenders. Heading for convergence: OWL-S (OWL and Sitcalc based) ...
Web Data and Application Security. CSCE 201. 2. References Recommended only ... Reliability, based on the recovery from a failed component service. ...
Instances of the class Service have a supports property referring to a ServiceGrounding. ... spatial representation (and temporal) Spatial representation has ...
pay (fail) stuff on cleanup, reporting, etc., not. important here stuff on cleanup, ... D: succeed/fail. Atomic activity2 ?B: you-can-proceed stuff on ...
An extension of the current web in which information is given well-defined ... Pellet, Racer, Medius KBS, FACT , fuzzyDL, KAON2, MSPASS, QuOnto. Query Languages ...
... is no guarentee whether Rick or Sheila gets paid 'first' or with 'higher priority' ... then we can infer that paying Sheila has higher priority than paying Rick ...
... with the service (eg travel vs books vs auto parts) 13. Process Model ... Hide the details of how the process is implemented. Correspond to WSDL operations ...
Karen Moe, NASA/ESTO. Rob Raskin, NASA/JPL. Earth Science Data Systems Working ... OpenDAP / ECHO Peter Cornillion & Michael Burnett. NATIONAL AERONAUTICS ...
The RuleML Family of Web Rule Languages PPSWR 06, Budva, Montenegro, 10 June 2006 Revised, RuleML 06, Athens, GA, 11 Nov. 2006 Shortened, Vienna, SWT Course, 17 ...
Allow slots as name- filler pairs in Atoms (cf. F-logic's methods and RDF's properties) ... an optional Rel class, and zero or more name- filler instance slots ...