Matching techniques for resource discovery in distributed systems using heterogeneous ontology descriptions

2004 ◽  
Author(s):  
S. Castano ◽  
A. Ferrara ◽  
S. Montanelli ◽  
G. Racca
Keyword(s):  
Distributed Systems ◽  
Resource Discovery ◽  
Matching Techniques

Dynamic Knowledge Discovery in Open, Distributed and Multi-Ontology Systems

2006 ◽  
pp. 226-258 ◽  
Author(s):  
Silvana Castano ◽  
Alfio Ferrara ◽  
Stefano Montanelli
Keyword(s):  
Distributed Systems ◽  
Knowledge Discovery ◽  
Resource Discovery ◽  
Peer To Peer ◽  
Information Resources ◽  
Information Resource ◽  
Peer To Peer Networks ◽  
Open Distributed Systems ◽  
Ontology Metadata ◽  
Share Information

In open distributed systems like peer-to-peer networks and Grids, many independent peers, possibly spanned across multiple organizations, need to share information resources (e.g., data, documents, services) provided by other nodes. By dynamic knowledge discovery we mean the capability of each node of finding knowledge in the system about information resources that, at a given moment, best match the requirements of a request for given target resource(s). The chapter will focus on describing models and techniques for ontology metadata management and ontology-based dynamic knowledge discovery in open distributed systems, by describing the architecture of a toolkit for information resource discovery and sharing developed in the Helios peer-based system.

scholarly journals Methods for Domain Specification of Verification-Oriented Process Ontology

2019 ◽  
Vol 26 (4) ◽  
pp. 534-549
Author(s):  
Natalia O. Garanina ◽  
Igor S. Anureev ◽  
Olesya I. Borovikova ◽  
Vladimir E. Zyubin
Keyword(s):  
Distributed Systems ◽  
Automatic Control ◽  
Formal Verification ◽  
Control Systems ◽  
Formal Semantics ◽  
Constructive Method ◽  
Process Ontology ◽  
Automatic Control Systems ◽  
Semantic Markup ◽  
Matching Techniques

User-friendly formal specifications and verification of parallel and distributed systems from various subject fields, such as automatic control, telecommunications, business processes, are active research topics due to its practical significance. In this paper, we present methods for the development of verification-oriented domain-specific process ontologies which are used to describe parallel and distributed systems of subject fields. One of the advantages of such ontologies is their formal semantics which make possible formal verification of the described systems. Our method is based on the abstract verification-oriented process ontology. We use two methods of specialization of the abstract process ontology. The declarative method uses the specialization of the classes of the original ontology, introduction of new declarative classes, as well as use of new axioms system, which restrict the classes and relations of the abstract ontology. The constructive method uses semantic markup and pattern matching techniques to link sublect fields with classes of the abstract process ontology. We provide detailed ontological specifications for these techniques. Our methods preserve the formal semantics of the original process ontology and, therefore, the possibility of applying formal verification methods to the specialized process ontologies. We show that the constructive method is a refinement of the declarative method. The construction of ontology of the typical elements of automatic control systems illustrates our methods: we develop a declarative description of the classes and restrictions for the specialized ontology in the Prot´eg´e system in the OWL language using the deriving rules written in the SWRL language and we construct the system of semantic markup templates which implements typical elements of automatic control systems.

Digital Resource Discovery: Semantic Annotation and Matching Techniques

2007 ◽  
pp. 275-285 ◽  
Author(s):  
Devis Bianchini ◽  
Silvana Castano ◽  
Fulvio D’Antonio ◽  
Valeria De Antonellis ◽  
Mounira Harzallah ◽  
...  
Keyword(s):  
Semantic Annotation ◽  
Resource Discovery ◽  
Digital Resource ◽  
Matching Techniques

scholarly journals CHALLENGES OF INFLUENCE DYNAMIC AND INTERACTIVE EVENTS ON RESOURCE DISCOVERY FUNCTIONALITY OUTSIDE OF DISTRIBUTED EXASCALE SYSTEMS

2020 ◽  
Vol 3 (2) ◽  
pp. 164-180
Author(s):  
◽  
Ehsan Mousavi Khaneghah ◽  
Araz R. Aliev ◽  
Keyword(s):  
Resource Allocation ◽  
Distributed Systems ◽  
Distributed System ◽  
Resource Discovery ◽  
Discovery Process ◽  
Dynamic Nature ◽  
Interactive Nature ◽  
Access Rights ◽  
Computational Element

The resource discovery in Exascale systems should support the occurrence of dynamic nature in each stakeholder's elements in the resource discovery process. The occurrence of dynamic and interactive nature in the accountable computational element creates challenges in executing the activities related to resource discovery, such as the continuation of the response to the request, granting access rights, and the resource allocation to the process. In the case of a lack of management and dynamic and interactive event control in the accountable computational element, the process of activities related to the resource discovery will fail. In this paper, we first examine the concept function of resource discovery in the accountable computational element. Then, to analyze the effects of occurrence, dynamic, and interactive event effects on resource discovery function in the accountable computational element are discussed. The purpose of this paper is to analyze the use of the traditional resource discovery in the Exascale distributed systems and investigate the factors that should be considered in the function of resource discovery management to have the possibility of application in the Exascale distributed system.

Sign in / Sign up

Export Citation Format

Share Document