scholarly journals On reasoning about structural equality in XML: a description logic approach

2005 ◽  
Vol 336 (1) ◽  
pp. 181-203 ◽  
Author(s):  
David Toman ◽  
Grant Weddell
Keyword(s):  
Description Logic ◽  
Logic Approach

scholarly journals Web-Based Learning Under Tacit Mining of Various Data Sources

2021 ◽  
Vol 16 (16) ◽  
pp. 153
Author(s):  
Abdelouahab Belazoui ◽  
Abdelmoutia Telli ◽  
Chafik Arar
Keyword(s):  
Description Logic ◽  
Intelligent Tutoring System ◽  
Open Educational Resources ◽  
Data Sources ◽  
Systems Architecture ◽  
Tutoring Systems ◽  
Additional Information ◽  
Ontology Language ◽  
Logic Approach ◽  
The Web

Nowadays, many platforms provide open educational resources to learners. So, they must browse and explore several suggested contents to better assimilate their courses. To facilitate the selecting task of these resources, the present paper proposes an intelligent tutoring system that can access teaching contents available on the web automatically and offers them to learners as additional information sources. In doing so, the authors highlight the description logic approach and its knowledge representation strength that underwrites the modulization, inference, and querying about a web ontology language, and enhanced traditional tutoring systems architecture using ontologies and description logic to enable them to access various data sources on the web. Finally, this article concludes that the combination of machine learning with the semantic web has provided a supportive study environment and enhanced the schooling conditions within open and distance learning.

scholarly journals A SUITE OF DAML+OIL ONTOLOGIES TO DESCRIBE BIOINFORMATICS WEB SERVICES AND DATA

2003 ◽  
Vol 12 (02) ◽  
pp. 197-224 ◽  
Author(s):  
CHRIS WROE ◽  
ROBERT STEVENS ◽  
CAROLE GOBLE ◽  
ANGUS ROBERTS ◽  
MARK GREENWOOD
Keyword(s):  
Description Logic ◽  
Expert Knowledge ◽  
Web Ontology Language ◽  
Service Description ◽  
Service Matching ◽  
Ontology Language ◽  
Logic Approach ◽  
Semantic Service ◽  
Grid Based ◽  
Large Grid

The growing quantity and distribution of bioinformatics resources means that finding and utilizing them requires a great deal of expert knowledge, especially as many resources need to be tied together into a workflow to accomplish a useful goal. We want to formally capture at least some of this knowledge within a virtual workbench and middleware framework to assist a wider range of biologists in utilizing these resources. Different activities require different representations of knowledge. Finding or substituting a service within a workflow is often best supported by a classification. Marshalling and configuring services is best accomplished using a formal description. Both representations are highly interdependent and maintaining consistency between the two by hand is difficult. We report on a description logic approach using the web ontology language DAML+OIL that uses property based service descriptions. The ontology is founded on DAML-S to dynamically create service classifications. These classifications are then used to support semantic service matching and discovery in a large grid based middleware project [Formula: see text]. We describe the extensions necessary to DAML-S in order to support bioinformatics service description; the utility of DAML+OIL in creating dynamic classifications based on formal descriptions; and the implementation of a DAML+OIL ontology service to support partial user-driven service matching and composition.

Sign in / Sign up

Export Citation Format

Share Document