Towards A More Reasonable Semantic Web

Vleer Doing,Ryan Wisnesky

2024-07-27

Abstract:We aim to accelerate the original vision of the semantic web by revisiting design decisions that have defined the semantic web up until now. We propose a shift in direction that more broadly embraces existing data infrastructure by reconsidering the semantic web's logical foundations. We argue to shift attention away from description logic, which has so far underpinned the semantic web, to a different fragment of first-order logic. We argue, using examples from the (geo)spatial domain, that by doing so, the semantic web can be approached as a traditional data migration and integration problem at a massive scale. That way, a huge amount of existing tools and theories can be deployed to the semantic web's benefit, and the original vision of ontology as shared abstraction be reinvigorated.

Databases

What problem does this paper attempt to address?

### What problems does this paper attempt to solve?

This paper aims to re - examine and improve the basic design of the Semantic Web in order to accelerate the realization of its original vision. Specifically, the paper proposes to solve problems from the following aspects:

1. **Re - examine Description Logic (DL)**:
- **Current problems**: Currently, the Semantic Web mainly depends on Description Logic (DL), but this logic encounters difficulties when dealing with large - scale data, such as problems of reasoning inconsistency and complexity.
- **Solution**: The paper suggests shifting the focus from Description Logic to a specific fragment of First - Order Logic (FOL) - Existential Horn Clauses. These logical forms have been widely used in the fields of data migration and integration, and have mature tools and technical support.

2. **Promote the utilization of existing data infrastructures**:
- **Current problems**: There is a certain disconnection between the current Semantic Web design and existing data infrastructures (such as relational databases, graph databases, etc.), resulting in difficulty in making full use of existing tools and theories.
- **Solution**: By adopting more widely - accepted logical forms such as Existential Horn Clauses, the Semantic Web can be regarded as a traditional large - scale data migration and integration problem. In this way, a large number of existing tools and theories can be used to enhance the functions of the Semantic Web.

3. **Improve interoperability and extensibility**:
- **Current problems**: Existing Semantic Web standards (such as RDF, RDFS, OWL) have problems of interoperability and extensibility in practical applications, especially in fields such as geospatial information management.
- **Solution**: The paper proposes a new logical format (such as JSON - LD - Logic) and multi - sorted TPTP format to improve the interoperability and extensibility of the Semantic Web. This not only maintains backward compatibility, but also can better handle complex and heterogeneous data.

4. **Address challenges in specific fields**:
- **Case studies**: Through a series of case studies (such as GML operations, combined maps, graph derivation, etc. in the geospatial Semantic Web), the paper shows how to use techniques based on FOL and RL to achieve the original goals of the Semantic Web, especially for applications in geospatial information management.

In summary, this paper attempts to better utilize existing data infrastructures, improve interoperability and extensibility, and solve challenges in specific fields by re - examining the basic logical framework of the Semantic Web and shifting it from Description Logic to a specific fragment of First - Order Logic.