Sciweavers

10 search results - page 2 / 2
» ruleml 2004
Sort
View
RULEML
2004
Springer
13 years 10 months ago
SweetProlog: A System to Integrate Ontologies and Rules
Abstract. This paper describes the design and implementation of SweetProlog, a system for translating Web rules into Prolog. It enables the integration of ontologies and rules on t...
Loredana Laera, Valentina A. M. Tamma, Trevor J. M...
RULEML
2004
Springer
13 years 10 months ago
Semantic Web Reasoning with Conceptual Logic Programs
Abstract. We extend Answer Set Programming with, possibly infinite, open domains. Since this leads, in general, to undecidable reasoning, we restrict the syntax of programs, while...
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
RULEML
2004
Springer
13 years 10 months ago
A Defeasible Logic Reasoner for the Semantic Web
Abstract. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology i...
Nick Bassiliades, Grigoris Antoniou, Ioannis P. Vl...
RULEML
2004
Springer
13 years 10 months ago
R-DEVICE: A Deductive RDF Rule Language
In this paper we present R-DEVICE, a deductive rule language for reasoning about RDF metadata. R-DEVICE includes features such as normal and generalized path expressions, stratifie...
Nick Bassiliades, Ioannis P. Vlahavas
RULEML
2004
Springer
13 years 10 months ago
Rule Learning for Feature Values Extraction from HTML Product Information Sheets
The Web is now a huge information repository with a rich semantic structure that, however, is primarily addressed to human understanding rather than automated processing by a compu...
Costin Badica, Amelia Badica