Logic Programming to Address Issues of the Semantic Web

ABSTRACT

The size of the Web and its increase rate made it cumber-some to locate high precision results to a requested piece of information. The Semantic Web provides a framework and a set of technologies enabling an effective machine processable information, aiming at a better computer-computer and human-computer communication. What if, though, we use a both machine processable and human understandable approach which can also apply in existent HTML Web sources? In this work, we investigate the problems being solved with the Semantic Web technologies and how this can be coped with Logic Programming techniques, especially Modular Logic Programming. We discuss issues from the data level, metadata and reasoning. Last but not least, we discuss agents. What is more is that, we claim that these techniques can be applied in the current Web information sources providing formal semantics for some aspects of the traditional Web.

Index Terms

• Computing methodologies

  • Artificial intelligence

    • Knowledge representation and reasoning

      • Logic programming and answer set programming

      • Semantic networks

• Information systems

  • Data management systems

    • Database design and models

  • Information retrieval

  • Information storage systems

• Theory of computation

  • Logic

    • Constraint and logic programming