SweetProlog: A System to Integrate Ontologies and Rules

Laera, Loredana; Tamma, Valentina; Bench‐Capon, Trevor; Semeraro, Giovanni

doi:10.1007/978-3-540-30504-0_15

Cited by 18 publications

(9 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…SweetProlog [15] is a Java-based system for translating rules into Prolog. It translates OWL ontologies and rules expressed in RuleML into a set of facts and rules in Prolog.…”

Section: Related Work and Discussionmentioning

confidence: 99%

Ontological logic programming

Şensoy

Mel

Vasconcelos

et al. 2011

Proceedings of the International Conference on Web Intelligence, Mining and Semantics

View full text Add to dashboard Cite

In this paper, we propose Ontological Logic Programming (OLP), a novel approach that combines logic programming with ontological reasoning. The proposed approach enables the use of ontological terms (i.e., individuals, classes and properties) directly within logic programs. The interpretation of these terms are delegated to an ontology reasoner during the interpretation of the program. Unlike similar approaches, OLP makes use of the full capacity of both the ontological reasoning and logic programming. We evaluate the computational properties of OLP in different settings and show that its performance can be significantly improved using caching mechanisms. Furthermore, using a case-study, we demonstrate the usefulness of OLP in real-life settings.

show abstract

“…SweetProlog [15] is a Java-based system for translating rules into Prolog. It translates OWL ontologies and rules expressed in RuleML into a set of facts and rules in Prolog.…”

Section: Related Work and Discussionmentioning

confidence: 99%

Ontological logic programming

Şensoy

Mel

Vasconcelos

et al. 2011

Proceedings of the International Conference on Web Intelligence, Mining and Semantics

View full text Add to dashboard Cite

show abstract

“…For example, in [15] the authors describe an approach to reasoning over temporal ontologies that translates OWL statements to clauses in Prolog and then uses the built-in inference mechanism. In [10] an OWL ontology and OWLRuleML rules are translated into Prolog clauses, which are then used to infer new facts by the Prolog inference engine. The work presented in this paper has utilised a similar idea, however, we have used OWL functional-style syntax for the OWL to Prolog translation, which makes queries to the ontology as close as possible to OWL syntax.…”

Section: Test Inputsmentioning

confidence: 99%

Application of Inference Rules to a Software Requirements Ontology to Generate Software Test Cases

Tarasov

Tan

Ismail

et al. 2017

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Testing of a software system is resource-consuming activity. One of the promising ways to improve the efficiency of the software testing process is to use ontologies for testing. This paper presents an approach to test case generation based on the use of an ontology and inference rules. The ontology represents requirements from a software requirements specification, and additional knowledge about components of the software system under development. The inference rules describe strategies for deriving test cases from the ontology. The inference rules are constructed based on the examination of the existing test documentation and acquisition of knowledge from experienced software testers. The inference rules are implemented in Prolog and applied to the ontology that is translated from OWL functional-style syntax to Prolog syntax. The first experiments with the implementation showed that it was possible to generate test cases with the same level of detail as the existing, manually produced, test cases.

show abstract

“…SweetProlog [14] is a system for translating rules into Prolog. This is achieved via a translation of OWL ontologies and rules expressed in OWLRuleML into a set of facts and rules in Prolog.…”

Section: Related Workmentioning

confidence: 99%

O-DEVICE: An Object-Oriented Knowledge Base System for OWL Ontologies

Meditskos

Bassiliades

2006

Advances in Artificial Intelligence

View full text Add to dashboard Cite

Abstract. This paper reports on the implementation of a rule system, called O-DEVICE, for reasoning about OWL instances using deductive rules. O-DEVICE exploits the rule language of the CLIPS production rule system and transforms OWL ontologies into an object-oriented schema of COOL. During the transformation procedure, OWL classes are mapped to COOL classes, OWL properties to class slots and OWL instances to COOL objects. The purpose of this transformation is twofold: a) to exploit the advantages of the object-oriented representation and access all the properties of instances in one step, since properties are encapsulated inside resource objects; b) to be able to use a deductive object-oriented rule language for querying and creating maintainable views of OWL instances, which operates over the object-oriented schema of CLIPS, and c) to answer queries faster, since the implied relationships due to the rich OWL semantics have been pre-computed. The deductive rules are compiled into CLIPS production rules. The rich open-world semantics of OWL are partly handled by the incremental transformation procedure and partly by the rule compilation procedure.

show abstract

SweetProlog: A System to Integrate Ontologies and Rules

Cited by 18 publications

References 5 publications

Ontological logic programming

Ontological logic programming

Application of Inference Rules to a Software Requirements Ontology to Generate Software Test Cases

O-DEVICE: An Object-Oriented Knowledge Base System for OWL Ontologies

Contact Info

Product

Resources

About