3032 search results - page 451 / 607 » Description Logic Rules |
ESWS
2004
Springer
14 years 4 months ago
2004
Springer
Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination o...
WADT
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. This paper describes a sublanguage of Casl, called CaslDL, that corresponds to the Web Ontology Language (OWL) being used for the semantic web. OWL can thus benefit from...
ISCAS
2003
IEEE
14 years 4 months ago
2003
IEEE
the interconnection among the IP cores with all description levels This paper presents an automatic interconnection rectification (AIR)technique to correct the misplaced interconne...
AC
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
CONCUR
2003
Springer
14 years 4 months ago
2003
Springer
traction for HOPLA Mikkel Nygaard1 and Glynn Winskel2 1 BRICS , University of Aarhus 2 Computer Laboratory, University of Cambridge A fully abstract denotational semantics for the ...