Portal de Periódicos da CAPES

TRIPLE—A Query, Inference, and Transformation Language for the Semantic Web

2002; Springer Science+Business Media; Linguagem: Inglês

10.1007/3-540-48005-6_28

1611-3349

Michael Sintek, Stefan Decker,

Advanced Database Systems and Queries

This paper presents TRIPLE, a layered and modular rule language for the Semantic Web []. TRIPLE is based on Horn logic and borrows many basic features from F-Logic [] but is especially designed for querying and transforming RDF models [].TRIPLE can be viewed as a successor of SiLRI (Simple Logic-based RDF Interpreter []). One of the most important differences to F-Logic and SiLRI is that TRIPLE does not have a fixed semantics for object-oriented features like classes and inheritance. Its layered architecture allows such features to be easily defined for different object-oriented and other data models like UML, Topic Maps, or RDF Schema []. Description logics extensions of RDF (Schema) like OIL [] and DAML+OIL [] that cannot be fully handled by Horn logic are provided as modules that interact with a description logic classifier, e.g. FaCT [], resulting in a hybrid rule language. This paper sketches syntax and semantics of TRIPLE.