It is shown that the explicit certification of public keys in customary DL/EC (Discrete-Log/ Elliptic-Curve) applications, ranging from digital signatures of the DSA type to keyagreements of the DH type, can be abolished. This facilitates highly efficient implementations in terms of the total number of exponentiations needed to be executed, the ability of having parallel processing, and communi...

We study the problem of updates for TBoxes represented in Description Logics of the DL-Lite family. DL-Lite is at the basis of OWL 2 QL, one of the tractable fragments of OWL 2, the recently proposed revision of the Web Ontology Language. In this paper, we address for the first time the problem of updating TBoxes. We propose some principles that TBox updates should respect. We review known mode...

We study the problem of instance level (ABox) updates for Knowledge Bases (KBs) represented in Description Logics of the DL-Lite family. DLLite is at the basis of OWL 2 QL, one of the tractable fragments of OWL 2, the recently proposed revision of the Web Ontology Language. We examine known works on updates that follow the model-based approach and discuss their drawbacks. Specifically, the fact...

Steven Wartik Institute for Defense Analyses Alexandria, VA [email protected] One of the major unanswered questions about the semantic web is the degree to which real-world business rules can be expressed in OWL-DL. Ontologies that only contain class hierarchies are useful searching aides, but are unlikely to promote automated reasoning and classification. Only ontologies augmented with more comp...