Formal Approach to Reconciliation of Individual Ontologies for Personalisation of Geospatial Semantic Web

2005 ◽  
pp. 195-210 ◽  
Author(s):  
Pragya Agarwal ◽  
Yongjian Huang ◽  
Vania Dimitrova
Keyword(s):  
Semantic Web ◽  
Formal Approach

A Computational Logic Application Framework for Service Discovery and Contracting

2011 ◽  
Vol 8 (3) ◽  
pp. 1-25 ◽  
Author(s):  
Marco Alberti ◽  
Massimiliano Cattafi ◽  
Federico Chesani ◽  
Marco Gavanelli ◽  
Evelina Lamma ◽  
...  
Keyword(s):  
Semantic Web ◽  
Service Discovery ◽  
Formal Language ◽  
User Needs ◽  
Application Framework ◽  
Search Process ◽  
Computational Logic ◽  
Semantic Web Technologies ◽  
Formal Approach ◽  
Web Technologies

In Semantic Web technologies, searching for a service means identifying components that can potentially satisfy user needs in terms of inputs and outputs (discovery) and devise a fruitful interaction with the customer (contracting). In this paper, the authors present an application framework that encompasses both the discovery and the contracting steps in a unified search process. In particular, the authors accommodate service discovery by ontology-based reasoning and contracting by reasoning about behavioural interfaces, published in a formal language. To this purpose, the authors consider a formal approach grounded on Computational Logic. They define, illustrate, and evaluate a framework, called SCIFF Reasoning Engine (SRE), which can establish if a Semantic Web Service and a requester can fruitfully inter-operate, by computing a possible interaction plan based on the behavioural interfaces of both. The same operational machinery used for contracting can be used for runtime verification.

An Integrated Formal Approach to Semantic Work Environments Design

2011 ◽  
pp. 262-280
Author(s):  
Hai H. Wang ◽  
Nicholas Gibbins ◽  
Jin Song Dong ◽  
Yuan Fang Li ◽  
Jing Sun ◽  
...  
Keyword(s):  
Web Services ◽  
Semantic Web ◽  
Specific Activity ◽  
Data Models ◽  
Global Knowledge ◽  
Formal Approach ◽  
Knowledge Models ◽  
Web Standards ◽  
Use Of Services ◽  
Xml Web

The Semantic Web (Berners-Lee, Hendler, & Lassila, 2001) has become increasingly significant as it proposes an evolution of the current World Wide Web from a web of documents to a distributed and decentralised, global knowledge-base. Based on the notion of interlinked resources grounded within formally defined ontologies, it promises to be an enabling technology for the automation of many Web-based tasks, by facilitating a shared understanding of a domain through inference over shared knowledge models. Semantic Work Environment (SWE) applications use Semantic Web techniques to support the work of the user by collecting knowledge about the current needs in a specific activity, and providing both inferred and augmented knowledge that can then be integrated into current work. Web Services have emerged as distributed, heterogeneous software components that provide machine access to the services otherwise offered on the Web through Web pages. Built upon defacto Web standards for syntax, communication protocols, and markup languages such as XML, Web services provide a near ubiquitous mechanism for communication between applications and agents. In addition, such services can be composed to provide additional functionality, thus facilitating the rapid construction of new services. However, the dynamic use of services is limited by the need to agree a-priori upon data models and interface definitions. By coupling Web service technology with Semantic Web technology, Semantic Web Services can partially relax these constraints, both in the dynamic use of services, and in the data models shared by such services. Several examples of such services have been developed, for example, the ITTALKS services (Cost, Finin, & Joshi, 2002), which are considered in this chapter.

Automatic Construction of OWL Ontologies From Petri Nets

2019 ◽  
Vol 15 (1) ◽  
pp. 21-51 ◽  
Author(s):  
Zongmin Ma ◽  
Haitao Cheng ◽  
Li Yan
Keyword(s):  
Semantic Web ◽  
Petri Nets ◽  
Domain Knowledge ◽  
Markup Language ◽  
Formal Representation ◽  
Formal Approach ◽  
Automatic Construction ◽  
Ontology Language ◽  
Petri Net Markup Language ◽  
Representation Method

Ontology, as a formal representation method of domain knowledge, plays a particular important key role in semantic web. How to construct ontologies has become a key technology in the semantic web, especially constructing ontologies from existing domain knowledge. Currently, Petri nets have been a mathematical modeling tool, and have been widely studied and successfully applied in modeling of software engineering, database and artificial intelligence. In particular, PNML (Petri Net Markup Language) language has been a part of ISO/IEC Petri nets standard for representing and exchanging data on Petri nets. Therefore, how to construct ontologies from PNML model of Petri nets needs to be investigated. In this article, the authors investigate a method for automatic construction of web ontology language (OWL) ontologies from PNML of Petri nets. Firstly, this paper gives a formal definition and the semantics of PNML models of Petri nets. On this basis, a formal approach for constructing OWL ontologies from PNML model of Petri nets is proposed, i.e., this paper transforms Petri nets (including PNML model and PNML document of the Petri nets) into OWL ontologies at both structure and instance levels. Furthermore, the correctness of the transformation is proved. Finally, a prototype construction tool called PN2OWL is developed to transform Petri nets models into OWL ontologies automatically.

Towards Systematization

1977 ◽  
Vol 16 (03) ◽  
pp. 125-130 ◽  
Author(s):  
P. L. Reichertz
Keyword(s):  
Clinical Medicine ◽  
Medical Science ◽  
User Involvement ◽  
Empirical Science ◽  
Target System ◽  
General Strategy ◽  
System Construction ◽  
Formal Approach ◽  
Methodology Development ◽  
Planning Development

Data processing has become an important tool in theoretical and clinical medicine. The main categories of applications are : information analysis, (bio)signal processing and the field of information logistics (information systems).The problems encountered lie in the discrepancy of the basic methods of a formal approach to an empirical science, the complexity of the target system and the system ecology, i.e. the involvement of the user and the system environment during system construction and utilization.Possible solutions to these problems are the application of system techniques, inductive planning, development of medical methodology, development of methods and techniques for user involvement and assessment of motivation and education and educational planning.The necessary general strategy in the development in medical informatics is seen in the continuing systematization of the theoretical and practical approach. It is estimated that this will eventually contribute to the systematization of medical science and practice.

Semantic Web Technologies for e-Learning: Models and Implementation

Informatica ◽  
2015 ◽  
Vol 26 (2) ◽  
pp. 221-240 ◽  
Author(s):  
Valentina Dagienė ◽  
Daina Gudonienė ◽  
Renata Burbaitė
Keyword(s):  
Semantic Web ◽  
Learning Models ◽  
Semantic Web Technologies ◽  
Web Technologies ◽  
E Learning
Sign in / Sign up

Export Citation Format

Share Document