1375 search results - page 168 / 275 » SDL-2000: A Language with a Formal Semantics |
100
click to vote
JUCS
2007
14 years 9 months ago
2007
Abstract: The technology in the field of digital media generates huge amounts of textual information every day, so mechanisms to retrieve relevant information are needed. Under th...
126
click to vote
IADIS
2004
14 years 11 months ago
2004
OWL DL, being established by W3C, is a Knowledge Representation Markup Language for the Semantic Web. OWL DL is a new synthesis of research on KRML for the Semantic Web, which nee...
IS
2006
14 years 9 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
103
click to vote
JODL
2007
2007
Building rich, semantic descriptions of learning activities to facilitate reuse in digital libraries
14 years 9 months ago
Abstract This paper describes efforts to extend educational descriptions of learning objects to enable semantic search for suitable resources held within digital libraries and cybe...
101
click to vote
VL
2003
IEEE
15 years 3 months ago
2003
IEEE
Constraint diagrams are a visual notation designed to complement the Unified Modeling Language in the development of software systems. They generalize Venn diagrams and Euler cir...