1000 search results - page 63 / 200 » An RDF Query Language based on Logic Programming |
116
Voted
ICLP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Pruning operators, such as cut, are important to develop efficient logic programs as they allow programmers to reduce the search space and thus discard unnecessary compu...
102
Voted
MSR
2005
ACM
15 years 8 months ago
2005
ACM
Source Control Repositories are used in most software projects to store revisions to source code files. These repositories operate at the file level and support multiple users. ...
124
Voted
ER
2007
Springer
15 years 6 months ago
2007
Springer
The paper presents an unified Description Logic (DL) model for databases. Describing database models using DLs is a fundamental problem in many areas because it turns databases to...
135
Voted
GPC
2010
Springer
15 years 9 months ago
2010
Springer
Scalability of reasoning systems is one of the main criteria which will determine the success of Semantic Web systems in the future. The focus of recent work is either on (a) expre...
234
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...