Programming in MODULA-2 (3rd corrected ed.)
Programming in MODULA-2 (3rd corrected ed.)
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
A tour advisory system using a logic programming approach
ACM SIGAPP Applied Computing Review
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Logic programming with the World-Wide Web
Proceedings of the the seventh ACM conference on Hypertext
A Refinement of Import/Export Declarations in Modular Logic Programming and its Semantics
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
A proposal for an owl rules language
Proceedings of the 13th international conference on World Wide Web
World news finder: how we cope without the semantic web
AIAP'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: artificial intelligence and applications
Logic Programming to Address Issues of the Semantic Web
WI '07 Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence
Rules and Ontologies for the Semantic Web
Reasoning Web
Towards Distributed Ontology Reasoning for the Web
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
A generic module system for web rule languages: divide and rule
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
Can OWL and logic programming live together happily ever after?
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Semantic web architecture: stack or two towers?
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
A realistic architecture for the semantic web
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
| Hi-index | 0.00 |
The Semantic Web provides a framework and a set of technologies enabling an effective machine processable information. However, most of the problems that are addressed in the Semantic Web were tackled by the artificial intelligence community, in the past. Within this period, Logic Programming emerged as a complete framework ranging from a sound formal theory, based on Horn clauses, to a declarative description language and an operational behavior that can be executed. Logic programming and its extensions have been already used in various approaches in the Semantic Web or the traditional Web context. In this work, we investigate the use of Modular Logic Programming, i.e. Logic Programming extended with modules, to address issues of the Semantic Web ranging from the ontology layer to reasoning and agents. These techniques provide a uniform framework ranging from the data layer to the higher layers of logic, avoiding the problem of incompatibilities of technologies related with different Semantic Web layers. What is more is that it can operate directly on top of existent World Wide Web sources.