2685 search results - page 419 / 537 » A Formal Semantics for SPKI |
209
click to vote
OOIS
1997
Springer
15 years 10 months ago
1997
Springer
Workflow management, one of the important technologies for supporting collaborative work, requires database technologies like distributed data management or transaction management...
173
click to vote
AAAI
2007
15 years 8 months ago
2007
Description Logics, and in particular the web ontology language OWL has been proposed as an appropriate basis for computing matches between structured objects for the sake of info...
150
click to vote
AAAI
2008
15 years 8 months ago
2008
This system translates basic English descriptions of a wide range of objects in a simplistic zoo environment into plausible, three-dimensional, interactive visualizations of their...
145
click to vote
AAAI
2008
15 years 8 months ago
2008
While in most planning approaches goals and plans are different objects, it is often useful to specify goals that combine declarative conditions with procedural plans. In this pap...
173
click to vote
DLOG
2007
15 years 8 months ago
2007
We present cq-programs, which enhance nonmonotonic description logics (dl-) programs by conjunctive queries (CQ) and union of conjunctive queries (UCQ) over Description Logics kno...