1544 search results - page 99 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
141
click to vote
ICMCS
2005
IEEE
16 years 1 days ago
2005
IEEE
Large amount of images need an efficient way of retrieving them. The usual approach of manually annotating images and/or providing a syntactic retrieval capability lacks flexibi...
165
click to vote
ALP
1994
Springer
15 years 10 months ago
1994
Springer
This paper studies the relationship between logic programs and term rewriting systems (TRSs). A compositional transform is de ned which given a logic program computes a TRS. For a...
173
click to vote
CAISE
2004
Springer
15 years 12 months ago
2004
Springer
tween documents. They should allow for an abstract representation of data which resembles the way they are actually perceived and used in the real world, thus shortening (with resp...
165
click to vote
DLOG
2003
15 years 7 months ago
2003
Matching problems in Description Logics are theoretically well understood, with a variety of algorithms available for different DLs. Nevertheless, still no implementation of a ge...
167
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract. Description Logic Programs (DLP) have been described as a description logic (DL) that is in the "expressive intersection" of DL and datalog. This is a very weak...