Sciweavers

3363 search results - page 304 / 673
» A Framework for Knowledge Reuse
Sort
View
CAISE
2004
Springer
15 years 10 months ago
Ontology-based Interoperability for Interorganizational Applications
Abstract. In this paper we present an ontology-based approach to support interoperability in interorganizational applications. The ontology contains knowledge, coming from several ...
Valeria De Antonellis, Michele Melchiori, Devis Bi...
SWAP
2008
15 years 8 months ago
Learning SHIQ+log Rules for Ontology Evolution
The definition of new concepts or roles for which extensional knowledge become available can turn out to be necessary to make a DL ontology evolve. In this paper we reformulate thi...
Francesca A. Lisi, Floriana Esposito
DAGSTUHL
2003
15 years 8 months ago
Operational Semantics of Security Protocols
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...
Cas J. F. Cremers, Sjouke Mauw
IJCAI
1989
15 years 7 months ago
The Logic of Time Structures: Temporal and Nonmonotonic Features
We Imbed Into a first order logic a representation language that combines atemporal knowledge with time stamps in a hierarchical fashion. Each time structure contains its own chro...
Mira Balaban, Neil V. Murray
FASE
2009
Springer
16 years 1 months ago
SNIFF: A Search Engine for Java Using Free-Form Queries
Reuse of existing libraries simplifies software development efforts. However, these libraries are often complex and reusing the APIs in the libraries involves a steep learning cu...
Shaunak Chatterjee, Sudeep Juvekar, Koushik Sen