Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
S. Heymans, R. Korf, M. Erdmann, J. Puehrer, T. Eiter:
"F-Logic#: Loosely Coupling F-Logic Rules and Ontologies";
Vortrag: IEEE/WIC/ACM International Conference on Web Intelligence (WI'10),
Toronto, Kanada;
31.08.2010
- 03.09.2010; in: "Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence (WI'10)",
H. Coelho, R. Studer, M. Wooldridge (Hrg.);
(2010),
ISBN: 978-0-7695-3801-3;
S. 248
- 255.
Kurzfassung englisch:
In W3C´s Rule Interchange Format (RIF), F-Logic rules have received considerable attention as a major logical rule formalism, while combinations of rules with Description Logic (DL) ontologies in RIF, let alone with F-Logic rules, are far less developed. To mend this, we first present F-Logic# knowledge bases, a framework based on the semantics of the well-investigated dl-programs, that provides a loose coupling approach to integrating F-Logic rules and DL ontologies by allowing rules to query the ontology using external atoms. We investigate the semantical properties of this framework and define a stratified fragment that allows for fast reasoning - a necessity on a Web with large amounts of data. We then shape F-Logic# as a RIF dialect, setting it firmly in a Web context and providing an expressive combination of F-Logic rules with DL ontologies in RIF. Finally, we show how to extend the F-Logic rule engine OntoBroker towards reasoning with F-Logic#, enabling as such a first commercial implementation for loosely-coupled ontologies and rules.
Schlagworte:
logical rules, F-Logic, Ontobroker, ontologies, integration
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1109/WI-IAT.2010.44
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_191126.pdf
Zugeordnete Projekte:
Projektleitung Thomas Eiter:
ONOTRULE - ONTOlogies meet business RULEs
Projektleitung Thomas Eiter:
Schließen in hybriden Wissensbasen
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.