A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
The Semantic Web initiative defines important challenges for knowledge representation and database systems. Recently, several standards for representation languages have been proposed (RDF, DAML+OIL, OWL). We briefly discuss the logical basis of these representation languages by referring to description logic (DL) inferences systems. By introducing the DL inference system Racer we demonstrate that practically usable query engines for Semantic Web representation languages are available. Then, wedblp:conf/krdb/HaarslevM03 fatcat:g75egakjurfedpw2q4uamld7ny