Login: A logic programming language with built-in inheritance
Journal of Logic Programming
A database interface for complex objects
Proceedings of the eleventh international conference on Logic programming
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
DAML+OIL: An Ontology Language for the Semantic Web
IEEE Intelligent Systems
An Axiomatic Approach to Feature Term Generalization
EMCL '01 Proceedings of the 12th European Conference on Machine Learning
Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Logic Programming with Functions over Order-Sorted Feature Terms
ELP '92 Proceedings of the Third International Workshop on Extensions of Logic Programming
Querying the Semantic Web with RQL
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
| Hi-index | 0.01 |
The interest of representing data for the Semantic Web has generated standards for expressing knowledge on the Web. RDF, as one of those standards, has become a recommendation of the W3C. Even if it was designed to be human and machine readable (XML encoding, triples, labeled graphs), RDF was not provided with querying and reasoning services. Most work on querying RDF has concentrated on the use of logic programming evaluation techniques and SQL extensions. We take a new look at the problem of querying and reasoning on RDF statements and find that order-sorted feature (OSF) terms apply to this problem because OSF have been tailored for efficiency and their semantics is compatible with the isomorphic representation (triples) of RDF statements. This transformation allows to compute an ordering on resources and thus provide better answering mechanisms when querying RDF.