Sciweavers

1000 search results - page 19 / 200
» An RDF Query Language based on Logic Programming
Sort
View
PSSS
2003
15 years 1 months ago
Inferencing and Truth Maintenance in RDF Schema
Contrary to earlier reports in literature, exhaustive forward inferencing is a feasible approach for practical RDF. It is sufficiently fast and the increase in necessary storage s...
Jeen Broekstra, Arjohn Kampman
SEMWEB
2007
Springer
15 years 5 months ago
SMART: A Web-Based, Ontology-Driven, Semantic Web Query Answering Application
SMART (Semantic web information Management with automated Reasoning Tool) is an open-source project, which aims to provide intuitive tools for life scientists for represent, integr...
Alexander De Leon Battista, Natalia Villanueva-Ros...
PSSS
2003
15 years 1 months ago
DLDB: Extending Relational Databases to Support Semantic Web Queries
Abstract: We present DLDB, a knowledge base system that extends a relational database management system with additional capabilities for DAML+OIL inference. We discuss a number of ...
Zhengxiang Pan, Jeff Heflin
ICECCS
2006
IEEE
140views Hardware» more  ICECCS 2006»
15 years 5 months ago
Inference of Design Pattern Instances in UML models via Logic Programming
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...
Dae-Kyoo Kim, Lunjin Lu
ICLP
2007
Springer
15 years 5 months ago
Contextual Logic Programming for Ontology Representation and Querying
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
Nuno Lopes 0002, Cláudio Fernandes, Salvado...