532 search results - page 67 / 107 » On the Semantics of Epistemic Description Logics |
CORR
2002
Springer
13 years 8 months ago
2002
Springer
SPKI/SDSI is a proposed public key infrastructure standard that incorporates the SDSI public key infrastructure. SDSI's key innovation was the use of local names. We previous...
WWW
2006
ACM
14 years 9 months ago
2006
ACM
Ontologies are at the heart of the semantic web. They define the concepts and relationships that make global interoperability possible. However, as these ontologies grow in size t...
EWDW
1990
14 years 1 months ago
1990
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
MEMOCODE
2010
IEEE
13 years 7 months ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...
PODS
2004
ACM
14 years 9 months ago
2004
ACM
The Semantic Web is based on the idea of adding more machine-readable semantics to web information via annotations written in a language called the Resource Description Framework ...