IRIS Reasoner


Integrated Rule Inference System {related:}

See also:

Case-based Reasoning & Dialog SystemsDECReasoner | Deep Reasoning Systems | Graph-Based Knowledge Representation and ReasoningHermiT Reasoner | Knowledge Representation and Reasoning | Metaphor-based ReasoningPellet Reasoner & Dialog Systems | RADAR (Reflective Agents with Distributed Adaptive Reasoning)Semantic Reasoners & Dialog Systems | Semantic Web Reasoning 


[PDF] WSML2Reasoner-A Comprehensive Reasoning Framework for the Semantic Web R Krummenacher, D Winkler… – 9th International …, 2010 – iswc2010.semanticweb.org … BLD reasoner; not excluding other examples and online demonstrators for Elly and WSML2Reasoner: – WSML-DL v2.0, http://iris.sti2.at/reasoners/wsml-dl-reasoner/ – WSML-Rule v2.0, http://iris.sti2.at/reasoners/wsml-rule-reasoner/ – Datalog, http://www.iris-reasoner.org/demo … Cited by 2 Related articles View as HTML All 4 versions

[PDF] from ceur-ws.org [PDF] RIF-BLD Reasoning with IRIS D Winkler, R Krummenacher, A Marte – RuleML-2010 Challenge, 2010 – ceur-ws.org … and the Web Service Modeling Language (WSML). In this demo, we present the IRIS reasoner and its applications, as well as the larger WSML2Reasoner framework with IRIS at its core. The basic IRIS implementation for RIF … Cited by 1 Related articles View as HTML

[PDF] from soa4all.eu [PDF] D3. 2.6 Second Prototype Rule Reasoner for WSML-Rule v2. 0 D Winkler, M Pressnig, M Maleshkova – SOA4All project deliverable, 2010 – soa4all.eu … The main implementation of the prototype, as well as the algorithms extending conventional semi-naive Datalog evaluation are described in Section 3. Section 4 describes how to install and use the IRIS reasoner used for WSML Flight 2.0 and WSML-Rule v2.0 reasoning; for a … Cited by 1 Related articles View as HTML

[PDF] from psu.edu [PDF] A service ranker based on logic rules evaluation and constraint programming JM Garcia, I Toma, D Ruiz, A Ruiz-Cortés – 2nd ECOWS Non-Functional …, 2008 – Citeseer … evaluated. In the current prototype we use the IRIS reasoner. … programmatically. During this evaluation step the rank values corresponding to each service that were evaluated using the IRIS reasoner are being used in the CP evaluation. … Cited by 9 Related articles View as HTML All 9 versions

[PDF] from ceur-ws.org [PDF] Iris-integrated rule inference system B Bishop, F Fischer – … Workshop on Advancing Reasoning on the Web: …, 2008 – ceur-ws.org … industry alike. The IRIS project is hosted by Sourceforge1 and more detailed information is available on its home page2. 1 http://sourceforge.net/projects/iris- reasoner 2 http://www.iris-reasoner.org Page 3. The WSML2Reasoner3 … Cited by 15 Related articles View as HTML All 7 versions

[PDF] from open.ac.uk The business process modelling ontology L Cabral, B Norton, J Domingue – … of the 4th International Workshop on …, 2009 – dl.acm.org … ontology instances and service descriptions. BPMO uses WSML-Flight as the representation language, which can be used with the IRIS reasoner for performing instance validation and queries. From the business viewpoint, business … Cited by 11 Related articles All 9 versions

[PDF] from envision-project.eu [PDF] Query containment evaluation and optimization of WSMO/L discovery engine I Toma – 2009 – envision-project.eu … p(Y,X) and thus the containment relation does not exit between the two queries. Among the approaches introduced above, Frozen Facts is a good candidate that we implemented and extended as part of the IRIS reasoner. … Page 17 / 25 3. Optimization of IRIS reasoner … Related articles View as HTML All 2 versions

Comparison: Discovery on WSMOLX and miAamics/jABC C Kubczak, T Vitvar, C Winkler, R Zaharia… – Semantic Web Services …, 2009 – Springer … Invoker handling all communi- cation with external services using grounding information provided in SWS descrip- tions, direct support for arith- metic operations and built-ins in IRIS reasoner; Web ser- vice invocation – price quota- tion and package shipping or- dering … Related articles All 2 versions

[PDF] from unibo.it D2R2: Disk-oriented Deductive Reasoning in a RISC-style RDF Engine M Yahya, M Theobald – Rule-Based Modeling and Computing on the …, 2011 – Springer … 1 http://www.ontoprise.de/en/products/ontobroker/ 2 http://jena.sourceforge.net/ 3 http://www.iris-reasoner.org/ 4 http://xsb.sourceforge.net/ 5 http://www.dcc.fc.up.pt/~vsc/Yap/ 6 http://www.dlvsystem.com/dlvsystem/index.php/Home 7 http://www.logicblox.com/ 8 See http:// … Cited by 1 Related articles All 11 versions

[PDF] from envision-project.eu [PDF] Integration of the open source catalogue with the semantic discovery engine–Version I Larizgoitia, I Toma – 2009 – envision-project.eu … support semantic constraints. At the architectural level, an integrated architecture is proposed that brings together OGC components (eg OGC open source catalogue) and se- mantic components (eg IRIS reasoner). Finally, this … Cited by 1 Related articles View as HTML All 2 versions

[PDF] from fzi.de [PDF] Semantically enhanced business process modelling notation W Abramowicz, A Filipowska… – Proceedings of the …, 2007 – sbpm2007.fzi.de … that no other users can modify the SBP model in the meantime. After the modeling 1 http://sourceforge. net/projects/iris-reasoner/ 93 Page 100. Semantic Business Process Repository 3 work has been done, the process model … Cited by 40 Related articles View as HTML All 12 versions

[PDF] from stijnheymans.net [PDF] Semantic business process repository Z Ma, B Wetzstein, D Anicic, S Heymans… – Proceedings of the …, 2007 – stijnheymans.net … 7 http://sourceforge.net/projects/iris-reasoner/ 8 WSML2Reasoner framework: http://tools.deri. org/wsml2reasoner/ 9 IRIS is continuously being developed and the support for non-stratified negation and unsafe rules is envisioned in coming releases. Page 7. … Cited by 33 Related articles View as HTML All 20 versions

Reasoning in Semantic Web-based Systems F Fischer, G Unel – Semantic Web Information Management, 2010 – books.google.com … iris-reasoner. org/. Page 152. 138 F. Fischer and G. Unel types. Reasoning algorithms include bottom-up strategies based on semi-naive rule- evaluation and magic sets, as well as top-down strategies such as SLD, SLDNF and OLDT. … Related articles All 3 versions

[PDF] from heppnetz.de Organisational ontology framework for semantic business process management A Filipowska, M Hepp, M Kaczmarek… – Business Information …, 2009 – Springer … exists. In our case, usage of WSML formalism allows for application of a very good operational infrastructure. Eg the currently available version of WSML2Reasoner uses the IRIS reasoner as a back-end reasoning engine. [21 … Cited by 8 Related articles All 6 versions

[PDF] from aaaipress.org Semantic Event-Based Decision Management in Compliance Management for Business Processes ME Kharbili, N Stojanovic – Intelligent Event Processing-AAAI Spring …, 2009 – aaai.org … Similar concerns have already been tackled by SBPM research [17]. Events the WSML-Flight language enriched with features such as function symbols. 7 http://iris-reasoner.org/. 8 http://tools.sti-innsbruck.at/wsml2reasoner/. SUPER Ontologies SBPEL … Cited by 3 Related articles All 3 versions

A semantic web service environment for B2B and B2C auction applications within extended and virtual enterprises H Jagdev, L Vasiliu, J Browne, M Zaremba – Computers in Industry, 2008 – Elsevier Cited by 18 Related articles All 4 versions

Semantic execution meets geospatial web services: a pilot application R Zaharia, L Vasiliu, J Hoffman, E Klien – Transactions in GIS, 2008 – Wiley Online Library … describe. IRIS (Integrated Rule Inference System; see http://www.iris-reasoner.org/ for additional details) is a new reasoning tool that has been recently integrated with WSMX so we were able to test it with our composition. The … Cited by 5 Related articles All 2 versions

[CITATION] D2. 2 semantic querying, discovery, and composition framework S Dustdar, J Hoffmann, T Holmes, A Sirbu, H Tran… – SemBiz Deliverable, August, 2007 Cited by 5 Related articles All 2 versions

[PDF] from sti-innsbruck.at [PDF] D3. 2.1 Framework and APIs for integrated reasoning support F Fischer, B Bishop – Changes, 2008 – sti-innsbruck.at … reasoner and thus this initial prototype will further support the idea of a light-weight solution for retrieving implicit knowledge out of a repository. 7 http://tools.sti-innsbruck. at/wsml2reasoner/ 8 http://www.iris-reasoner.org/ Page 23. Cited by 3 Related articles View as HTML All 2 versions

[PDF] from envision-project.eu [PDF] Integration of the open so the semantic discovery I Larizgoitia, I Toma – 2009 – envision-project.eu Page 1. Copyright Integration of the open so the semantic discovery Date: 18th Author(s): Iker Larizgoitia Dissemination level: PU WP: 5 Version: 2.0 Keywords: Catalogue, OGC Description: Report presentin open ICT for Environm Climate Change A … View as HTML

Semi-automatic Composition of Geospatial Web Services Using JBoss Rules R Zaharia, L Vasiliu, C Badica – … , Interchange and Reasoning on the Web, 2008 – Springer … WSMT, http://sourceforge.net/projects/wsmt/ 17. KAON2, http://kaon2.semanticweb.org/ 18. Internet Reasoning Service, http://kmi.open.ac.uk/projects/irs/ 19. IRIS, http://sourceforge.net/projects/ iris-reasoner 20. Java Expert System Shell, http://www.jessrules.com/jess/docs/ Related articles All 3 versions

Ontology-dependent two-phase semantic web services discovery and its e-government implementation X Wang, S Nazir, N Loutas, V Peristeras – International Journal of …, 2011 – Inderscience … The matchmaker of DC is implemented by a wrapper of the IRIS reasoner6 with WSMO APIs. The IRIS reasoner is used to evaluate the validity of logical expressions; itself it uses as API the WSML2Reasoner, an extension of WSMO4J. … Related articles All 5 versions

Facilitating the semantic discovery of eGovernment services: the SemanticGov portal N Loutas, V Peristeras, SK Goudos… – … , 2007. EDOC’07. …, 2007 – ieeexplore.ieee.org … The process is described below. In all cases the WSML2Reasoner Framework [11] and the IRIS reasoner [15] are used to evaluate the axioms. Step 1: Starting from the root of the selected Goal tree ontology, the portal guides the user so that the Goal is stepwise refined. … Cited by 13 Related articles All 5 versions

[PDF] from larkc.eu [PDF] D4. 4.1 Investigation & Design for Rule-based Reasoning L Bradesko, ZH VUA – 2010 – larkc.eu Page 1. LarKC The Large Knowledge Collider a platform for large scale integrated reasoning and Web-search FP7 – 215535 D4.4.1Investigation & Design for Rule-based Reasoning Coordinator: Florian Fischer (STI Innsbruck … Related articles View as HTML

[PDF] from l3s.de Semantic Validation of BPEL Fragment Compositions M Harbach, T Dornemann, E Juhnke… – … (ICSC), 2010 IEEE …, 2010 – ieeexplore.ieee.org … connectors 181 Page 7. according to Section III-B1. WSMO4J v2.0.1 [17] and the WSML2Reasoner Framework v0.7.0 [18] have been used to process WSML descriptions as well as to interface with the IRIS reasoner [19]. The … Related articles All 6 versions

[PDF] from stijnheymans.net Ontology reasoning with large data repositories S Heymans, L Ma, D Anicic, Z Ma, N Steinmetz… – Ontology …, 2008 – Springer Page 1. Chapter 4 ONTOLOGY REASONING WITH LARGE DATA REPOSITORIES Stijn Heymans1, Li Ma2, Darko Anicic1, Zhilei Ma3, Nathalie Steinmetz1, Yue Pan2, Jing Mei2, Achille Fokoue4, Aditya Kalyanpur4, Aaron Kershenbaum4 … Cited by 14 Related articles All 26 versions

Semantic Web computing in industry JG Breslin, D O’Sullivan, A Passant, L Vasiliu – Computers in Industry, 2010 – Elsevier Cited by 12 Related articles All 4 versions

[PDF] from u-aizu.ac.jp A meta-model for non-functional property descriptions of web services F De Paoli, M Palmonari, M Comerio… – Web Services, 2008. …, 2008 – ieeexplore.ieee.org … Current standards for semantic descriptions of services (eg, WSMO [6] and OWL-S [15]) only marginally cover the specification of NFPs. They basically adopt attribute- value descriptions as discussed in Section 2. Toma et al. 3http://iris-reasoner.org/download 398 Page 7. … Cited by 25 Related articles All 6 versions

[PDF] from loria.fr Functional description of geoprocessing services as conjunctive datalog queries D Fitzner, J Hoffmann, E Klien – Geoinformatica, 2011 – Springer Page 1. Functional description of geoprocessing services as conjunctive datalog queries Daniel Fitzner & Jörg Hoffmann & Eva Klien Received: 10 January 2008 /Revised: 18 February 2009 Accepted: 14 September 2009 /Published … Cited by 5 Related articles All 9 versions

[PDF] from assembla.com Modelling umwelten J Ortmann, H Michels – Advancing Geoinformation Science for a Changing …, 2011 – Springer … For example, a concept Building (domain concept) is a sub-concept of 11 More information is published on http://www.iris-reasoner.org/ (last accessed 15.12.2010) 12 Repast and a project with our simulation (both accessed 22.12.2010) … Cited by 4 Related articles All 8 versions

[PDF] from uniroma3.it Semantic data markets: a flexible environment for knowledge management R De Virgilio, G Orsi, L Tanca, R Torlone – Proceedings of the 20th ACM …, 2011 – dl.acm.org … We compared Nyaya with two well- known representatives of semantic-data management sys- tems that rely on full materialization: BigOWLim 11 and 9 http://www.iris-reasoner.org/ 10 http://pamir.dia.uniroma3.it:8080/nyaya/ 11 http://www.ontotext.com/owlim/big/ 1562 Page 5. … Cited by 6 Related articles All 4 versions

[PDF] from emis.de [PDF] A Semantic Framework for Compliance Management in Business Process Management1 M El Kharbili, E Pulvermüller – … für Informatik (GI) publishes this series …, 2009 – subs.emis.de … Due to space restrictions, no detailed comparison of these works will be given here. The foundational work on the Rei engine is presented in Lalana Kagal’s PhD Thesis [Ka04]. Rei10 is a policy specification language and 8 http://iris-reasoner. org/. 9 http://tools. sti-innsbruck. … Cited by 5 Related articles View as HTML All 4 versions

[PDF] from rwth-aachen.de [PDF] Reasoning with Large Data Sets D Anicic – Knowledge Web PhD Symposium 2007, 2007 – informatik.rwth-aachen.de … wsmo. org/TR/d16/d16. 1/v0. 2/. 2 IRIS: http://sourceforge. net/projects/iris-reasoner/. 3 Reasoners which utilize persistant storage: KAON2, Aditi, InstanceStore, DLDB. Proceedings of KWEPSY2007 Page 85 of 107 Page 86. … Related articles View as HTML All 10 versions

[PDF] from stijnheymans.net Logical foundations of (e) RDF (S): Complexity and reasoning J De Bruijn, S Heymans – The Semantic Web, 2007 – Springer Page 1. Logical Foundations of (e)RDF(S): Complexity and Reasoning? Jos de Bruijn1 and Stijn Heymans2 1 Faculty of Computer Science, Free University of Bozen-Bolzano, Italy debruijn@inf.unibz.it 2 Digital Enterprise Research … Cited by 39 Related articles BL Direct All 27 versions

[PDF] from wsmx.org [PDF] WSMX documentation M Herold – Digital Enterprise Research Institute Galway, Ireland, 2008 – wsmx.org Page 1. WSMX DOCUMENTATION Author: Maximilian Herold Digital Enterprise Research Institute Galway, Ireland Status: Final Version: 1.0 Date: 2008-05-01 Page 2. Abstract This document provides documentation on and … Cited by 11 Related articles View as HTML All 4 versions

[PDF] from envision-project.eu [PDF] Deployment of the open-source OGC Catalogue I Toma, P Maué, A Florczyk – 2009 – envision-project.eu … As part of an upcoming deliverable ie D5.4 several proposal for building semantic OGC queries will be proposed. 1 http://iris-reasoner.org/ Page 10. Copyright © ENVISION Consortium 2009-2012 Page 10 / 44 3 Requirements for Envision Catalogue … View as HTML All 2 versions

[PDF] from tripcom.org [PDF] FP6–027324 V Momtchev, S Heymans, J de Bruijn, A Pollers… – 2008 – tripcom.org … 4.2 Frame Logic We follow the defintion of F-Logic4 in [4]. For the full definition of the F-Logic seman- tics, we refer the reader to [18, 4]. 1http://iris-reasoner.org/ 2Note that the definition of extensional RDFS entailment is not normative. … Related articles View as HTML All 3 versions

[PDF] from vu.nl [PDF] D4. 7.1 Initial Evaluation and Revision of Plug-ins Deployed in Use-cases M Kerrigan – 2009 – wasp.cs.vu.nl Page 1. LarKC The Large Knowledge Collider a platform for large scale integrated reasoning and Web-search FP7 – 215535 D4.7.1Initial Evaluation and Revision of Plug-ins Deployed in Use-cases Coordinator: Zhisheng Huang … Related articles View as HTML All 2 versions

[PDF] from hlrs.de Where SOA Meets the Semantic Reasoning A Cheptsov, S Wesner – Complex, Intelligent and Software …, 2012 – ieeexplore.ieee.org … [19] “IRIS – Integrated Rule Inference System – API and User Guide”, http://iris-reasoner.org/pages/ user_guide.pdf [20] D. Fensel, F. van Harmelen, B. Andersson, P. Brennan, H. Cunningham, E. Della Valle, F. Fischer, Z. Huang, A. Kiryakov, T. Lee, L. Schooler, V. Tresp, S …

[PDF] from orsigiorgio.net NYAYA: A System Supporting the Uniform Management of Large Sets of Semantic Data R De Virgilio, G Orsi, L Tanca… – 2012 IEEE 28th …, 2012 – doi.ieeecomputersociety.org … of these ontologies. These approximations will be available on 3http://www.iris- reasoner.org/ 4http://swat.cse.lehigh.edu/projects/lubm/ TABLE I USER-DEFINED CONSTRAINTS FOR THE WIKIPEDIA3 KIOSK. article(X) ? ?Y …

[PDF] from eprints.org OpenRuleBench: an analysis of the performance of rule engines S Liang, P Fodor, H Wan, M Kifer – Proceedings of the 18th international …, 2009 – dl.acm.org … Since the top-down engine fared much better in our tests, we do not discuss the bottom-up engine any further. 5 http://sourceforge.net/projects/iris-reasoner 6 http://www.ontoprise.de/de/en/home/ products.html 7 http://jena.sourceforge.net/ WWW 2009 MADRID! … Cited by 44 Related articles All 33 versions

[PDF] from kenai.com Semantic event processing in ENVISION A Llaves, H Michels, P Maué, M Roth – Proceedings of the 2nd …, 2012 – dl.acm.org … Page 5. Figure 4: Main components and information flow of the Semantic Event Processing system in ENVISION an IRIS Reasoner. The events published in the bus are fetched continuously and stored as event instances in the SNB’s knowledge base. …

[PDF] from thomastriplet.net Temporal Data Classification Using Linear Classifiers P Revesz, T Triplet – Advances in Databases and Information Systems, 2009 – Springer … Geoinformatica 13 (2009) 3. Bishop, B., Fischer, F., Keller, U., Steinmetz, N., Fuchs, C., Pressnig, M.: Inte- grated Rule Inference System (2008), www.iris-reasoner.org 4. Brodsky, A., Segal, V., Chen, J., Exarkhopoulo, P.: The CCUBE constraint object- oriented database system. … Cited by 1 Related articles All 8 versions

VISION: An Infrastructure for Semantic S Schade – Geospatial Web Services: Advances in Information …, 2010 – books.google.com Page 163. 140 Chapter 7 VISION: An Infrastructure for Semantic Geospatial Web Services Sven Schade Institute for Environment and Sustainability, Italy ABSTRACT Over the past years, many research projects and initiatives … All 3 versions

[PDF] from upv.es Defining datalog in rewriting logic M Alpuente, M Feliú, C Joubert, A Villanueva – Logic-Based Program …, 2010 – Springer Page 1. Defining Datalog in Rewriting Logic * M. Alpuente, MA Feliú, C. Joubert, and A. Villanueva Universidad Politécnica de Valencia, DSIC / ELP Camino de Vera s/n, 46022 Valencia, Spain {alpuente,mfeliu,joubert,villanue}@dsic.upv.es Abstract. … Cited by 5 Related articles All 12 versions

[PDF] from nuigalway.ie Data and Process Mediation Support for B2B Integration M Zaremba, M Herold, R Zaharia, T Vitvar – 2008 – aran.library.nuigalway.ie … scenarios. We use KAON2 reasoner5 and IRIS6 for the inference over WSML-Flight ontologies. 4 http://sws-challenge.org/wiki/index.php/Scenario:_Payment_Problem 5 http://kaon2.semanticweb.org 6 http://iris-reasoner.org Page 3. … Cited by 1 Related articles All 11 versions

[PDF] from scpe.org Multi-Agent Architecture in Semantic Services Environment C Mindruta, VI Munteanu, V Negru – Scalable Computing: Practice and …, 2012 – scpe.org … It will synchronize with execution agents for work plan information. It will also send periodic updates to the user interface agents 1http://www.iris-reasoner.org/ 2http://kaon2.semanticweb. org/ 3http://clarkparsia.com/pellet 4http://tools.sti-innsbruck.at/mins/ Page 9. …

A multi-criteria service ranking approach based on non-functional properties rules evaluation I Toma, D Roman, D Fensel, B Sapkota… – … Computing–ICSOC 2007, 2007 – Springer … We briefly introduce our approach for modeling and attaching non-functional properties descriptions to services and goals. The proposed 4 http://tools.deri.org/mins/ 5 http://kaon2. semanticweb.org/ 6 http://sourceforge.net/projects/iris-reasoner/ 7 http://www.wsmx.org Page … Cited by 31 Related articles BL Direct All 4 versions

[PDF] from sti-innsbruck.at [PDF] RIF4J-A Reasoning Engine for RIF-BLD R Krummenacher – 2011 – sti-innsbruck.at Page 1. Leopold–Franzens–Universität Innsbruck Semantic Technologies Institute (STI) Innsbruck Submitted to the Faculty of Mathematics, Computer Science and Physics of the University of Innsbruck In partial fulfillment of the requirements for the degree of Master of Science … Related articles View as HTML All 2 versions

[PDF] from tue.nl [PDF] Routing Information and Presentation B Luksenburg – 2012 – alexandria.tue.nl … XSB + Interprolog Present Present GPL +/- – Hard to configure 3.2.5 Database details IRIS reasoner Link: http://iris-reasoner.org The IRIS reasoner is a Datalog database that has a user guide, API with Javadoc, and allows external databases to act as data storage. … View as HTML

Temporal data classification using linear classifiers P Revesz, T Triplet – Information Systems, 2011 – Elsevier Cited by 2 Related articles All 4 versions

[PDF] from deri.at [PDF] Analyzing the modeling of context with ontologies R Krummenacher, H Lausen, T Strang… – Int’l Workshop on Context- …, 2007 – deri.at … Vampire X X ? ? vampire.fm/ OntoBroker X4 commercial2 12/2006 ontoprise.de Kaon2 X5 X custom1 01/2007 kaon2.semanticweb.org IRIS X LGPL 02/2007 iris-reasoner.sourceforge.net 1 free for academic and non-commercial use. 2 Academic Licenses on request. … Cited by 7 Related articles View as HTML All 10 versions

[PDF] from donntu.edu.ua [CITATION] ??????????? ????????????? ??????????? ??? ?????? ? ???????????????? ?????????????? ???????? ?? ?????????? – 2010 – ea.donntu.edu.ua … 147–167, 1993. 16. Integrated Rule Inference System (IRIS) homepage. – ????? ???????: http://www.iris-reasoner.org. 17. ???? FLORA-2. – ????? ???????: http://flora.sourceforge.net/ 18. Ceri S., Gottlob G., Tanca L. Datalog: a self-contained tutorial, 1991. 19. … Related articles

Formalizing Cross-Parameter Conditions for Geoprocessing Service Chain Validation D Fitzner – International Journal of Applied Geospatial Research ( …, 2011 – igi-global.com Page 1. 18 International Journal of Applied Geospatial Research, 2(1), 18-35, January-March 2011 Copyright © 2011, IGI Global. Copying or distributing in print or electronic forms without written permission of IGI Global is prohibited. …

[PDF] from vldb.org [PDF] Optimizing query answering under ontological constraints G Orsi, A Pieris – Proceedings of the VLDB Endowment, 2011 – vldb.org Page 1. Optimizing Query Answering under Ontological Constraints Giorgio Orsi Institute for the Future of Computing University of Oxford Wolfson Building, Parks Road Oxford OX1 3JP United Kingdom Andreas Pieris Department … Cited by 6 Related articles View as HTML All 3 versions

[PDF] from open.ac.uk Collaborative privacy policy authoring in a social networking context R Wishart, D Corapi, S Marinovic… – Policies for Distributed …, 2010 – ieeexplore.ieee.org … An additional area for future work is the development of a user-friendly policy authoring tool. Currently, our PRiMMA- Viewer Facebook application provides limited help with au- thoring policies, requiring users understand the policy lan- 3http://iris-reasoner.org/ guage. … Cited by 3 Related articles All 10 versions

[PDF] from ipn.mx Semantic web reasoners and languages RB Mishra, S Kumar – Artificial Intelligence Review, 2011 – Springer Page 1. Artif Intell Rev (2011) 35:339–368 DOI 10.1007/s10462-010-9197-3 Semantic web reasoners and languages RB Mishra · Sandeep Kumar Published online: 29 December 2010 © Springer Science+Business Media BV 2010 … Cited by 9 Related articles All 6 versions

A Web Coverage Ontology for Geospatial Web Applications X Wang, J Yu, P Baumann – Semantic Computing (ICSC), 2011 …, 2011 – ieeexplore.ieee.org … queries for instances and their specific values. 7http://sourceforge.net/projects/wsmt/ 8http://www.iris-reasoner.org/ 9http://clarkparsia.com/pellet/ Figure 8. Example query on GridCoverages For example, after validating the WCO … Cited by 1 Related articles All 3 versions

[PDF] from assembla.com [PDF] Semantics for notifying Events in the Affecting Environment H Michels, W Kuhn, S Schade… – In Proceedings of …, 2010 – trac.assembla.com Page 1. Department 10 – Mathematics and Computer Science Department 14 – Geoscience Institute for Geoinformatics Semantics For Notifying Events In The Affecting Environment Diploma Thesis in the Geoinformatic Domain presented by Henry Michels to Prof. Dr. W. Kuhn … Cited by 3 Related articles View as HTML All 6 versions

[PDF] from semwebcentral.org [PDF] OpenRuleBench: Detailed Report SLPFH Wan, M Kifer – 2009 – projects.semwebcentral.org … nested loops, sort-merge). When necessary, 5 http://www.dbai.tuwien.ac.at/proj/dlv/ 6 http://sourceforge.net/projects/iris-reasoner 7 http://www.ontoprise.de/de/en/home/ products.html 6 Page 7. Ontobroker builds the appropriate … Related articles View as HTML All 19 versions

[PDF] from rwth-aachen.de [PDF] Building Service Models and Architectures to include Semantics and Social Networking N Loutas – Proceedings of CAISE-DC, 2008 – informatik.rwth-aachen.de … From the implementation point of view, this discussion is supported by a set of STOs encoded in WSML and the IRIS reasoner. In the current implementation, the SWS are described by means of WSMO. Page 9. 82 Proceedings of CAISE-DC 2008 6 Future Work … Related articles View as HTML All 8 versions

[PDF] from ip-super.org [PDF] Deliverable 1.1 BPO Framework, L Partner, LC Partner, L OU, U PUE… – 2007 – ip-super.org … the ontologies. Those will subsequently be loaded into the IRIS reasoner (http://sourceforge.net/projects/iris-reasoner/) and accesed via the ORDI interface (http://www.omwg.org/tools/ordi/v0.21/FactSheet.html). IRIS is a WSML … Related articles View as HTML All 22 versions

[PDF] from arxiv.org Ontological Queries: Rewriting and Optimization (Extended Version) G Gottlob, G Orsi, A Pieris – Arxiv preprint arXiv:1112.0343, 2011 – arxiv.org Page 1. arXiv:1112.0343v1 [cs.DB] 1 Dec 2011 Ontological Queries: Rewriting and Optimization (Extended Version)* Georg Gottlob1,2, Giorgio Orsi1,3, Andreas Pieris1 1Department of Computer Science, University of Oxford … Cited by 1 Related articles All 2 versions

[PDF] from nuigalway.ie Semantic Service Oriented Architecture-Component Model, Reference Architecture and Evaluated Prototype MJ Moran – 2011 – vmserver14.nuigalway.ie Page 1. Semantic Service Oriented Architecture – Component Model, Reference Architecture and Evaluated Prototype Matthew John Moran Submitted in fulfillment of the requirements for the degree of Doctor of Philosophy Supervisors: Prof. Manfred Hauswirth Dr. Sami Bhiri … Related articles All 3 versions

[PDF] from diadem-project.info Ontological queries: Rewriting and optimization G Gottlob, G Orsi, A Pieris – Data Engineering (ICDE), 2011 …, 2011 – ieeexplore.ieee.org Page 1. Ontological Queries: Rewriting and Optimization Georg Gottlob1,2, Giorgio Orsi1,3, Andreas Pieris1 1 Computing Laboratory, University of Oxford, UK 2 Oxford-Man Institute of Quantitative Finance, University of Oxford, UK 3 Dip. … Cited by 34 Related articles All 11 versions

[PDF] from tuwien.ac.at Well-founded semantics for description logic programs in the semantic web T Eiter, G Ianni, T Lukasiewicz… – ACM Transactions on …, 2011 – dl.acm.org … 2http://xsb.sourceforge.net/ 3http://flora.sourceforge.net/ 4http://www.ontoprise.de/en/home/ products/ontobroker/ 5http://iris-reasoner.org/, http://tools.sti-innsbruck.at/mins/ 6http://www.w3. org/TR/2008/WD-owl2-profiles-20081202/ ACM Transactions on Computational Logic, Vol. … Cited by 19 Related articles All 3 versions

[PDF] from chenwilly.de [PDF] Business-oriented CAx-Integration with Semantic Technologies W Chen, T Syldatke, C Hess – 3rd International Applications of …, 2008 – chenwilly.de … We started interviews to collect expert knowledge, especially on the dependencies between the layers. Currently, we focus on a small number of functions of a car. 2http://kaon2. semanticweb.org/ 3http://iris-reasoner.org/ 4http://www.ontoprise.de Page 6. … Cited by 2 Related articles View as HTML All 2 versions

[PDF] from utpl.edu.ec Estudio comparativo y evaluación de razonadores para lenguajes ontológicos en la web samántica RE Guamán Tandazo – 2012 – dspace.utpl.edu.ec Page 1. i UNIVERSIDAD TÉCNICA PARTICULAR DE LOJA ESCUELA DE SISTEMAS INFORM TICOS Y COMPUTACIVN TEMA: Estudio comparativo y evaluación de razonadores para Lenguajes Ontológicos en la Web Semántica. … Related articles All 3 versions

Enhancing intelligence and dependability of a product line enabled pervasive middleware W Zhang, KM Hansen, T Kunz – Pervasive and Mobile Computing, 2010 – Elsevier Cited by 3 Related articles All 3 versions

[HTML] from google.com [BOOK] Semantic business process modeling I Markovic – 2009 – books.google.com Page 1. Ivan Markovic Semantic Business Process Modeling iSKIT Scientific Publishing Page 2. Page 3. Ivan Markovic Semantic Business Process Modeling Page 4. Page 5. Semantic Business Process Modeling by Ivan Markovic Page 6. … Cited by 1 Related articles Library Search

Tightly integrated probabilistic description logic programs for representing ontology mappings T Lukasiewicz, L Predoiu, H Stuckenschmidt – Annals of Mathematics and …, 2009 – Springer Page 1. Ann Math Artif Intell DOI 10.1007/s10472-012-9280-3 Tightly integrated probabilistic description logic programs for representing ontology mappings Thomas Lukasiewicz·Livia Predoiu· Heiner Stuckenschmidt © Springer Science+Business Media BV 2012 … Cited by 1 Related articles

A semantically enabled portal for facilitating the public service provision N Loutas, L Giantsiou, V Peristeras… – … Technologies for E- …, 2010 – books.google.com Page 292. A Semantically Enabled Portal for Facilitating the Public Service Provision Nikolaos Loutas, Lemonia Giantsiou, Vassilios Peristeras, and Konstantinos Tarabanis 1 Introduction During the past years, governments … Cited by 3 Related articles All 3 versions

[PDF] from tuwien.ac.at A novel combination of answer set programming with description logics for the semantic web T Lukasiewicz – … and Data Engineering, IEEE Transactions on, 2010 – ieeexplore.ieee.org Page 1. A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web Thomas Lukasiewicz Abstract—We present a novel combination of disjunctive programs under the answer set semantics with description logics for the Semantic Web. … Cited by 16 Related articles All 14 versions

[PDF] from upv.es Evaluation of Datalog queries and its application to the static analysis of Java code MA Feliú Gabaldón – 2011 – riunet.upv.es Page 1. Universidad Politécnica de Valencia Departamento de Sistemas Informáticos y Computación Máster en Ingenier´ia del Software, Métodos Formales y Sistemas de Información Master Thesis Evaluation of Datalog queries and its application to the static analysis of Java … Related articles