TRIPLE—An RDF query, inference, and transformation language (2001) [10 citations — 3 self]
|
Abstract:
This paper presents TRIPLE, a layered and modular rule language for the semantic web [1]. TRIPLE is based on Horn logic and borrows many basic features from F-Logic [9] but is especially designed for querying and transforming RDF models [17]. TRIPLE can be viewed as a successor of SiLRI (Simple Logic-based RDF Interpreter [5]). One of the most important dierences to F-Logic and SiLRI is that TRIPLE does not have a xed semantics for objectoriented features like classes and inheritance. Its layered architecture allows such features to be easily de-ned for dierent object-oriented and other RDF extensions like RDF Schema [16]. Description logics extensions of RDF (Schema) like OIL [14] and DAML+OIL [3] that cannot be handled directly by Horn logic are provided as modules that interact with a description logic classier, e.g. FaCT [8], resulting in a hybrid rule language. This paper sketches syntax and semantics of
