5482 search results - page 789 / 1097 » Logic Programming and Databases |
149
click to vote
HICSS
2005
IEEE
16 years 8 days ago
2005
IEEE
In this paper, we consider existing approaches to ontology definition and validation. Popular techniques include the use of domain experts or reliance on formal logic. We consider...
160
click to vote
KCAP
2005
ACM
16 years 6 days ago
2005
ACM
For decades, researchers in knowledge representation (KR) have argued for and against various choices in KR formalisms, such as Rules, Frames, Semantic nets, and Formal logic. In ...
161
click to vote
GEOS
2005
Springer
16 years 5 days ago
2005
Springer
Continuously moving objects are prevalent in many domains. Although there have been attempts to combine both spatial and temporal relationships from a reasoning, a database, as wel...
170
click to vote
SEMWEB
2005
Springer
16 years 4 days ago
2005
Springer
Semantic query optimization (SQO) has been proved to be quite useful in various applications (e.g., data integration, graphical query generators, caching, etc.) and has been extens...
177
click to vote
INEX
2004
Springer
16 years 1 days ago
2004
Springer
This paper discusses our participation in INEX using the TIJAH XML-IR system. We have enriched the TIJAH system, which follows a standard layered database architecture, with severa...