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 [
5] but is especially
designed for querying and transforming RDF models [
8].
TRIPLE can be viewed as a successor of SiLRI (Simple Logic-based
RDF Interpreter [
3]).
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 [
7].
Description logics extensions of RDF (Schema)
like OIL [
6] and DAML+OIL [
2] that cannot be fully handled
by Horn logic are provided as modules that interact with a description
logic classifier, e.g. FaCT [
4], resulting in a hybrid rule
language.
This paper sketches syntax and semantics of
TRIPLE.
Keywords: Metadata, Knowledge Representation and Reasoning, RDF, DAML, F-Logic