172 search results - page 23 / 35 » Description Logic vs. Order-Sorted Feature Logic |
100
Voted
JAIR
2002
14 years 10 months ago
2002
We propose a structured approach to the problem of retrieval of images by content and present a description logic that has been devised for the semantic indexing and retrieval of ...
97
Voted
PEPM
2009
ACM
15 years 7 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
87
Voted
TE
2010
14 years 5 months ago
2010
Abstract--As demand increases for circuits with higher performance, higher complexity, and decreased feature size, asynchronous (clockless) paradigms will become more widely used i...
113
click to vote
AI
2010
Springer
14 years 11 months ago
2010
Springer
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of `lightweight' description...
116
Voted
PODS
2004
ACM
15 years 11 months ago
2004
ACM
The Semantic Web is based on the idea of adding more machine-readable semantics to web information via annotations written in a language called the Resource Description Framework ...