@inproceedings{obe-etal-2010RR,
	Abstract = {We present an extension of the DLVHEX system to support RIF-Core, a dialect of W3C's Rule Interchange Format (RIF), as well as combinations of RIF-Core and OWL2RL ontologies. DLVHEX is a plugin system on top of DLV, a disjunctive Datalog engine which enables higher-order and external atoms, as well as input rewriting capabilities, which are provided as plugins and enable DLVHEX to bidirectionally exchange data with external knowledge bases and consuming input in different Semantic Web languages. In fact, there already exist plugins for languages such as RDF and SPARQL. Our new plugin facilitates consumption and processing of RIF rulesets, as well as OWL2RL reasoning by a 2-step-reduction to DVLHEX via embedding in RIF-Core. The current version implements the translation from OWL2RL to RIF by a static rule set and supports the RIF built-ins mandatory for this reduction trough external atoms in DLVHEX. For the future we plan to switch to a   dynamic approach for RIF embedding of OWL2RL and extend the RIF reasoning capabilities to more features of RIF-BLD. We provide a description of our current system, its current development status as well as an illustrative example, and conclude future plans to complete the Semantic Web library of plugins for DLVHEX.},
	Address = {Bressanone, Italy},
	Author = {Philipp Obermeier and Marco Marano and Axel Polleres},
	Booktitle = {Web Reasoning and Rule Systems -- Fourth International Conference, RR 2010},
	Day = {22-24},
	Editor = {Pascal Hitzler and Thomas Lukasiewicz},
	Month = sep,
	Note = {Demo Paper},
	Pages = {244--250},
	Publisher = {Springer},
	Series = LNCS,
	Title = {Processing {RIF} and {OWL2RL} within {DLVHEX}},
	Type = DEMO,
	Url = {http://www.polleres.net/publications/obe-etal-2010RR.pdf},
	Volume = 6333,
	Year = 2010,
	Bdsk-Url-1 = {http://www.polleres.net/publications/obe-etal-2010RR.pdf}}

{"_id":"o7AvXK888XPpiTmWb","bibbaseid":"obermeier-marano-polleres-processingrifandowl2rlwithindlvhex-2010","downloads":0,"creationDate":"2015-12-16T06:35:17.811Z","title":"Processing RIF and OWL2RL within DLVHEX","author_short":["Obermeier, P.","Marano, M.","Polleres, A."],"year":2010,"bibtype":"inproceedings","biburl":"www.polleres.net/mypublications.bib","bibdata":{"bibtype":"inproceedings","type":"System demonstration","abstract":"We present an extension of the DLVHEX system to support RIF-Core, a dialect of W3C's Rule Interchange Format (RIF), as well as combinations of RIF-Core and OWL2RL ontologies. DLVHEX is a plugin system on top of DLV, a disjunctive Datalog engine which enables higher-order and external atoms, as well as input rewriting capabilities, which are provided as plugins and enable DLVHEX to bidirectionally exchange data with external knowledge bases and consuming input in different Semantic Web languages. In fact, there already exist plugins for languages such as RDF and SPARQL. Our new plugin facilitates consumption and processing of RIF rulesets, as well as OWL2RL reasoning by a 2-step-reduction to DVLHEX via embedding in RIF-Core. The current version implements the translation from OWL2RL to RIF by a static rule set and supports the RIF built-ins mandatory for this reduction trough external atoms in DLVHEX. For the future we plan to switch to a dynamic approach for RIF embedding of OWL2RL and extend the RIF reasoning capabilities to more features of RIF-BLD. We provide a description of our current system, its current development status as well as an illustrative example, and conclude future plans to complete the Semantic Web library of plugins for DLVHEX.","address":"Bressanone, Italy","author":[{"firstnames":["Philipp"],"propositions":[],"lastnames":["Obermeier"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Marano"],"suffixes":[]},{"firstnames":["Axel"],"propositions":[],"lastnames":["Polleres"],"suffixes":[]}],"booktitle":"Web Reasoning and Rule Systems – Fourth International Conference, RR 2010","day":"22-24","editor":[{"firstnames":["Pascal"],"propositions":[],"lastnames":["Hitzler"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Lukasiewicz"],"suffixes":[]}],"month":"September","note":"Demo Paper","pages":"244–250","publisher":"Springer","series":"Lecture Notes in Computer Science (LNCS)","title":"Processing RIF and OWL2RL within DLVHEX","url":"http://www.polleres.net/publications/obe-etal-2010RR.pdf","volume":"6333","year":"2010","bdsk-url-1":"http://www.polleres.net/publications/obe-etal-2010RR.pdf","bibtex":"@inproceedings{obe-etal-2010RR,\n\tAbstract = {We present an extension of the DLVHEX system to support RIF-Core, a dialect of W3C's Rule Interchange Format (RIF), as well as combinations of RIF-Core and OWL2RL ontologies. DLVHEX is a plugin system on top of DLV, a disjunctive Datalog engine which enables higher-order and external atoms, as well as input rewriting capabilities, which are provided as plugins and enable DLVHEX to bidirectionally exchange data with external knowledge bases and consuming input in different Semantic Web languages. In fact, there already exist plugins for languages such as RDF and SPARQL. Our new plugin facilitates consumption and processing of RIF rulesets, as well as OWL2RL reasoning by a 2-step-reduction to DVLHEX via embedding in RIF-Core. The current version implements the translation from OWL2RL to RIF by a static rule set and supports the RIF built-ins mandatory for this reduction trough external atoms in DLVHEX. For the future we plan to switch to a dynamic approach for RIF embedding of OWL2RL and extend the RIF reasoning capabilities to more features of RIF-BLD. We provide a description of our current system, its current development status as well as an illustrative example, and conclude future plans to complete the Semantic Web library of plugins for DLVHEX.},\n\tAddress = {Bressanone, Italy},\n\tAuthor = {Philipp Obermeier and Marco Marano and Axel Polleres},\n\tBooktitle = {Web Reasoning and Rule Systems -- Fourth International Conference, RR 2010},\n\tDay = {22-24},\n\tEditor = {Pascal Hitzler and Thomas Lukasiewicz},\n\tMonth = sep,\n\tNote = {Demo Paper},\n\tPages = {244--250},\n\tPublisher = {Springer},\n\tSeries = LNCS,\n\tTitle = {Processing {RIF} and {OWL2RL} within {DLVHEX}},\n\tType = DEMO,\n\tUrl = {http://www.polleres.net/publications/obe-etal-2010RR.pdf},\n\tVolume = 6333,\n\tYear = 2010,\n\tBdsk-Url-1 = {http://www.polleres.net/publications/obe-etal-2010RR.pdf}}\n\n","author_short":["Obermeier, P.","Marano, M.","Polleres, A."],"editor_short":["Hitzler, P.","Lukasiewicz, T."],"key":"obe-etal-2010RR","id":"obe-etal-2010RR","bibbaseid":"obermeier-marano-polleres-processingrifandowl2rlwithindlvhex-2010","role":"author","urls":{"Paper":"http://www.polleres.net/publications/obe-etal-2010RR.pdf"},"metadata":{"authorlinks":{"polleres, a":"https://bibbase.org/show?bib=www.polleres.net/mypublications.bib"}},"downloads":0,"html":""},"search_terms":["processing","rif","owl2rl","within","dlvhex","obermeier","marano","polleres"],"keywords":[],"authorIDs":["545720922abc8e9f370000ae","5PFMiHGwfvbGBZwWF","5de7280d97054edf010000c3","5e02b1a419da8edf01000028","5e048450db7916df010000b1","5e06d565a0810cde0100009b","5e10e27445c12cde01000062","5e123345c196d3de01000074","5e14ba61e55ed8de01000072","5e189b4e779abfdf0100013f","5e216f7e5a651cdf010000eb","5e25b9fdf299d4de01000001","5e2d64605e7586df01000083","5e36e5e9b26a0fde0100005e","5e37d23b56571fde010000de","5e4ded1052c311f20100018e","5e51a3102793ecde010000e0","5e59a6b5ad6c7fde01000114","5e5d588ead47bcde01000072","5e60e857839e59df010000f1","A5AFuDAiNR4HEYiFD","BtzwZ6TFPsASbdqvo","DLdeXAmrbA4niYQzH","FyLDFGg993nDS2Spf","NCjPvWahWRjdP3ghB","XcyP3jptz7zE4ZLws","aiXjXMLP63k5WCt84","fTDcT5K3oSTcdxSBj","fbKNfWffDzdzubrER","haaAs2rQaQA7EaZva","nQX2P8WzFeKwcpLqd","nuWuyLnGu7YzMrn4d","pfENTBFWo85mRy3ik","rX6EShFR2rMFmQL2C","w6wHZukTjqqera7BR","woa42kCD35yCmdQTj","yPgvarsL7KAT9yfZd","yzkCNJMYNL8B3bni2","zDG3tj87ZfYXo7u9c"],"dataSources":["cBfwyqsLFQQMc4Fss","gixxkiKt6rtWGoKSh","QfLT6siHZuHw9MqvK"]}