3358 search results - page 254 / 672 » Dynamic Description Logics |
199
click to vote
DAGSTUHL
1998
15 years 8 months ago
1998
Deductive database technology represents an important step towards the goal of developing highly-declarative database programming languages. In order to make deductive databases a ...
203
click to vote
ICLP
1992
Springer
15 years 11 months ago
1992
Springer
We discuss a declarative characterization of inheritance in logic programming. Our approach is inspired both by existing literature on denotational models for inheritance and by e...
202
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
In the semantic web architecture, Web ontology languages are built on top of RDF(S). However, serious difficulties have arisen when trying to layer expressive ontology languages, ...
227
click to vote
IDEAS
2009
IEEE
16 years 1 months ago
2009
IEEE
RDFKB (Resource Description Framework Knowledge Base) is a relational database system for RDF datasets which supports inference and knowledge management. Significant research has ...
167
click to vote
ICCAD
1997
IEEE
15 years 11 months ago
1997
IEEE
High-level power estimation, when given only a high-level design specification such as a functional or RTL description, requires high-level estimation of the circuit average acti...