172 search results - page 23 / 35 » Description Logic vs. Order-Sorted Feature Logic |
152
click to vote
JAIR
2002
15 years 3 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 ...
148
click to vote
PEPM
2009
ACM
16 years 29 days 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...
131
click to vote
TE
2010
14 years 10 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...
165
Voted
AI
2010
Springer
15 years 4 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...
170
click to vote
PODS
2004
ACM
16 years 4 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 ...