Automated Reasoning in the Context of the Semantic Web

2005 ◽  
pp. 14-14
Author(s):  
Hans Jürgen Ohlbach
Keyword(s):  
Semantic Web ◽  
Automated Reasoning

Conceptual Design Knowledge Management and the Semantic Web

2005 ◽  
Author(s):  
Joseph B. Kopena ◽  
Christopher D. Cera ◽  
William C. Regli
Keyword(s):  
Semantic Web ◽  
Conceptual Design ◽  
Automated Reasoning ◽  
Description Logic ◽  
Design Knowledge ◽  
Semantic Web Technology ◽  
Design Engineers ◽  
Conceptual Design Phase ◽  
Mechanical Devices ◽  
New Applications

The early stages of engineering design are critical, as the decisions made at this point have the most impact on the final product. However, little software is available to support engineers during the initial, conceptual design phase. In addition, at this and all other stages of design, engineers are increasingly tasked with utilizing unwieldy collections of data such as databases of legacy designs and catalogs. This work addresses both of these issues. A conceptual design interface with several advancements crucial to industrial deployment is developed and used to aid design. Among these are provisions for real-time collaboration and security. A representation of mechanical devices based on intended function is developed and used by the conceptual design interface to capture design semantics. This representation is defined using a description logic, enabling automated reasoning. The descriptions created using the conceptual design interface can thus be employed to annotate designs, create search queries, and to organize collections of designs. Further, this work incorporates Semantic Web technology, enabling conceptual design knowledge to be published and accessed effectively on the World Wide Web. New applications of design repositories are made possible by this but new issues must be investigated and addressed, as discussed here.

scholarly journals Translating OWL and semantic web rules into prolog: Moving toward description logic programs

2008 ◽  
Vol 8 (3) ◽  
pp. 301-322 ◽  
Author(s):  
KEN SAMUEL ◽  
LEO OBRST ◽  
SUZETTE STOUTENBERG ◽  
KAREN FOX ◽  
PAUL FRANKLIN ◽  
...  
Keyword(s):  
Semantic Web ◽  
Knowledge Base ◽  
Automated Reasoning ◽  
Description Logic ◽  
Logic Programs ◽  
Dynamic Changes ◽  
General Rules ◽  
Alternative Approaches ◽  
Run Time

AbstractWe are researching the interaction between the rule and the ontology layers of the Semantic Web, by comparing two options: 1) using OWL and its rule extension SWRL to develop an integrated ontology/rule language, and 2) layering rules on top of an ontology with RuleML and OWL. Toward this end, we are developing the SWORIER system, which enables efficient automated reasoning on ontologies and rules, by translating all of them into Prolog and adding a set of general rules that properly capture the semantics of OWL. We have also enabled the user to make dynamic changes on the fly, at run time. This work addresses several of the concerns expressed in previous work, such as negation, complementary classes, disjunctive heads, and cardinality, and it discusses alternative approaches for dealing with inconsistencies in the knowledge base. In addition, for efficiency, we implemented techniques called extensionalization, avoiding reanalysis, and code minimization.

Reconsidering Conventional Markup for Knowledge Representation

2009 ◽  
Author(s):  
David Dubin ◽  
David J. Birnbaum
Keyword(s):  
Semantic Web ◽  
Automated Reasoning ◽  
Description Logics ◽  
Manuscript Studies ◽  
Semantic Web Technologies ◽  
Web Technologies ◽  
Programming Tools ◽  
Textual Transmission ◽  
Main Attraction

The main attraction of semantic web technologies such as RDF and OWL over conventional markup is the support those tools provide for expressing precise semantics. Formal grounding for RDF-based languages (in, for example, description logics) and their integration with logic programming tools are guided and constrained by issues of decidability and the tractability of computations. Users of these technologies are invited to use less expressive representations, and thereby work within those constraints. Such compromises seem reasonable when considering the roles automated reasoning agents are expected to play by the semantic web community. But where expectations differ, it may be useful to reconsider using conventional markup and inferencing methods that have been applied with success despite their theoretical weaknesses. We illustrate these issues with a case study from manuscript studies and textual transmission.

A survey on automatically constructed universal knowledge bases

2020 ◽  
pp. 016555152092134
Author(s):  
Bayzid Ashik Hossain ◽  
Abdus Salam ◽  
Rolf Schwitter
Keyword(s):  
Semantic Web ◽  
Automated Reasoning ◽  
World Wide ◽  
Knowledge Bases ◽  
Generation Process ◽  
Practical Applications ◽  
The World ◽  
Real World Applications ◽  
Low Coverage ◽  
Domain Independent

A universal knowledge base can be defined as a domain-independent ontology containing instances. Ontologies define the concepts and relations among these concepts and are used to represent a domain of interest. These universal knowledge bases are the elementary units for automated reasoning on the Semantic Web. The Semantic Web is an extension of the World Wide Web which facilitates software agents to share content beyond the limitations of applications and websites. This survey focuses on the most prominent automatically constructed universal knowledge bases including KnowItAll, DBpedia, YAGO, NELL, Probase, BabelNet and Knowledge Vault. We take a closer look at how these knowledge bases are built, in particular at the information extraction and taxonomy generation process and investigate how they are used in practical applications. Due to quality concerns, the most successful and widely employed knowledge bases are manually constructed to maintain high quality, but they suffer from low coverage, high assembly and quality assurance cost. On the contrary, automatic approaches for building knowledge bases try to overcome these drawbacks. Although it is strenuous to achieve the same level of quality as for manual knowledge bases, we found that the surveyed automatically constructed knowledge bases have shown promising results and are useful for many real-world applications.

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

The Study of semantic Web and WebService Security(Focus on Ontology)

2007 ◽  
Vol 8 (2) ◽  
pp. 391-403
Author(s):  
kang jang mook
Keyword(s):  
Semantic Web

Experiments Illustrating the Importance of Automated Reasoning in Spacecraft Reactor Control

1991 ◽  
Author(s):  
John A. Bernard ◽  
Francis J. Wyant
Keyword(s):  
Automated Reasoning ◽  
Reactor Control

Towards a Social and Semantic Web Platform for Sharing Endogenous Knowledge to Adapt to Climate Change

2020 ◽  
Author(s):  
Halguieta TRAWINA ◽  
Sadouanouan MALO ◽  
Ibrahima DIOP ◽  
Yaya TRAORE
Keyword(s):  
Climate Change ◽  
Semantic Web ◽  
Web Platform
Sign in / Sign up

Export Citation Format

Share Document