Using TRIPLE for business agents on the Semantic Web

Electronic Commerce Research and Applications

Volumn 2, Issue 4, 2003, Pages 315-322

  Sintek, Michael ^a   Decker, Stefan ^b  

^a GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

^b Information Sciences Institute (ISI)   (United States)

Author keywords

Business agent architectures; DAML; F Logic; Horn logics; Inference engines; Ontologies; Semantic Web

Indexed keywords

ELECTRONIC COMMERCE; FORMAL LOGIC; INFERENCE ENGINES; PROGRAM INTERPRETERS; QUERY LANGUAGES; WORLD WIDE WEB;

SEMANTIC WEB;

SEMANTICS;

EID: 0242272377     PISSN: 15674223     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1567-4223(03)00040-1     Document Type: Article

References (21)

1. Berners-Lee T. Weaving the Web: The Original Design and Ultimate Destiny of the World Wide Web by Its Inventor. 1999;Harper, San Francisco.
2. DAML Joint Committee, DAML+OIL, 2001. URL: http://www.daml.org/2001/03/daml+oil-index.html.
3. Decker S., Brickley D., Saarela J., Angele J. A query and inference service for RDF. QL'98 - The Query Languages Workshop Boston, USA. 1998;WorldWideWeb Consortium (W3C).
4. Decker S., Erdmann M., Fensel D., Studer R. Ontobroker: ontology based access to distributed and semi-structured information. Meersman R., et al. Semantic Issues in Multimedia Systems. 1999;Kluwer Academic, Dordrecht.
5. Fensel D., Decker S., Erdmann M., Studer R. Ontobroker: the very high idea. Proceedings 11th International Florida AI Research Symposium (FLAIRS-98). 1998.
6. I. Horrocks, The FaCT System, 2001. URL: http://www.cs.man.ac.uk/̃horrocks/FaCT/ .
7. Karvounarakis G., Christophides V., Plexousakis D., Alexaki S. Querying CommunityWeb portals. 2001.
8. Kifer M., Lausen G., Wu J. Logical foundations of object-oriented and frame-based languages. J. ACM. 42:1995;741-843.
9. M.S. Lacher, S. Decker, RDF, Topic Maps, and the Semantic Web. Markup Languages: Theory and Practice, 2002, in press.
10. Levy A.Y., Rousset M.-C. CARIN: a representation language combining Horn rules and description logics. 12th European Conference on Artificial Intelligence. 1996.
11. Lloyd J.W. Foundations of Logic Programming. 1984;Springer-Verlag, New York.
12. Lloyd J.W., Topor R.W. Making Prolog more expressive. J. Logic Program. 3:1984;225-240.
13. Ludäscher B., Yang G., Kifer M. FLORA: the secret of object-oriented logic programming. Technical Report. 1999;SUNY, Stony Brook.
14. Luke S., Spector L., Rager D., Hendler J. Ontology-based web agents. Proceedings of First International Conference on Autonomous Agents (AA-97). 1997.
15. OIL, Ontology Inference Layer, 2001. URL: http://www.ontoknowledge.org/oil/ .
16. Sintek M., Decker S. TRIPLE - A query, inference, and transformation language for the semantic web. 1st International Semantic Web Conference (ISWC2002). 2002.
17. The XSB Programming System. 2000;Department of Computer Science, SUNY, Stony Brook. URL: http://www.cs.sunysb.edu/̃sbprolog/xsb-page.html.
18. Resource Description Framework (RDF) Schema Specification 1.0. 2001;. URL: http://www.w3.org/TR/2000/CR-rdf-schema-20000327/.
19. Semantic Web Activity: Resource Description Framework (RDF). 2001;. URL: http://www.w3.org/RDF/.
20. Wagner G. Foundations of Knowledge Systems with Applications to Databases and Agents. 1998;Kluwer Academic, Dordrecht.
21. Wiederhold G. Intelligent Integration of Information. 1996;Kluwer Academic, Dordrecht.