2573 search results - page 303 / 515 » Combinations of Modal Logics |
170
click to vote
SEMWEB
2007
Springer
16 years 22 days ago
2007
Springer
Abstract Traditional ontology mapping techniques are not strictly applicable in a dynamic and distributed environment (e.g. P2P and pervasive computing) in which on-the-fly alignm...
170
click to vote
DSD
2006
IEEE
16 years 20 days ago
2006
IEEE
Programmable logic arrays (PLAs) present an alternative to logic-gate based design. We propose the transistor level structure of a PLA for single-rail asynchronous applications. T...
191
click to vote
ADC
2006
Springer
16 years 18 days ago
2006
Springer
Query answering over OWLs and RDFs on the Semantic Web is, in general, a deductive process. To this end, OWL, a family of web ontology languages based on description logic, has be...
153
click to vote
TPHOL
2005
IEEE
16 years 5 days ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
198
click to vote
ACMICEC
2005
ACM
16 years 5 days ago
2005
ACM
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...