QuOnto

Software free trial copy agreement

DASI-lab - Dipartimento di Informatica e Sistemistica "Antonio Ruberti"

SAPIENZA Università di Roma

---

Part 1

I accept that the software including the Quonto DIG-OBDA Server kernel application, documentation and any accompanying material is delivered to me for use only under the terms herein specified, and the DASI-lab - Dipartimento di Informatica e Sistemistica "Antonio Ruberti" reserves all rights not expressly granted to me.

Part 2

I accept that title and intellectual property rights in and to any content displayed by or accessed through the QuOnto Software belongs to the respective content owner. Such content may be protected by copyright or other intellectual property laws and treaties, and may be subject to terms of use of the third party providing such content. By accepting these terms of use, I am not granted any rights to use such content.

Part 3

I accept that the Quonto DIG-OBDA Server Software is not intended for use in the operation of nuclear facilities, aircraft navigation or communication systems, air traffic control systems, life support machines or other equipment in which the failure of the Quonto DIG-OBDA Server Software could lead to death, personal injury, or severe physical or environmental damage.

Part 4

I accept not to install and use one copy of the Quonto DIG-OBDA Server Software on more than one computer at a time. I accept not to make the Quonto DIG-OBDA Server Software available over a network where it could be used by multiple computers at the same time. I may make one copy of the Quonto DIG-OBDA Server Software in machine-readable form for backup purposes only; provided that the backup copy must include all copyright or other proprietary notices contained on the original. Except as and only to the extent expressly permitted herein or by applicable law, I may not copy, decompile, reverse engineer, disassemble, modify, or create derivative works of the Quonto DIG-OBDA Server Software or any part thereof.

Part 5

I accept not to rent, lease, lend, or distribute the Quonto DIG-OBDA Server Software. If I work in cooperation with a commercial company, a business firm, a public or non-public institution or any other kind of for-profit organisation and I plan to use the Quonto DIG-OBDA Server Software in this cooperation, I may not use the free Quonto DIG-OBDA Server Software copy for this purpose and I am not allowed to make the QuOnto Software available to that organization. This also applies to students, graduate students or a Ph.D. candidates who work in a project where a commercial company, a business firm, a public or non-public institution or any other kind of profit organisation is involved.

Part 6

I accept that the Quonto DIG-OBDA Server Software is provided to me only to be used for demonstration, testing and evaluation purposes and may not be resold or transferred.

Part 7

I accept that my rights will terminate automatically without notice from DASI-lab - Dipartimento di Informatica e Sistemistica "Antonio Ruberti" if I fail to comply with any term(s) herein specified. Upon the termination of my rights, I shall cease all use of the Quonto DIG-OBDA Server Software and destroy all copies, full or partial, of the Quonto DIG-OBDA Server Software. DASI-lab - Dipartimento di Informatica e Sistemistica "Antonio Ruberti" grants free educational and trial Quonto DIG-OBDA Server Software copies on its sole descretion. I accept that there is no right of any kind for third parties of being a beneficiary for free Quonto DIG-OBDA Server Software copies. There is also no right for a receiver of a free Quonto DIG-OBDA Server Software copy to claim any software upgrade that replaces and/or supplements the original Quonto DIG-OBDA Server Software.

Part 8

As a receiver of a free Quonto DIG-OBDA Server Software copy, I accept to name theQuOnto Software, the name of the Quonto DIG-OBDA Server designer (DASI-lab - Dipartimento di Informatica e Sistemistica "Antonio Ruberti"), the QuOnto web site ("http://www.dis.uniroma1.it/~quonto") in all my papers and publications covering work in or for which the Quonto DIG-OBDA Server Software is used.

Part 9

I accept that DASI-lab - Dipartimento di Informatica e Sistemistica "Antonio Ruberti" is allowed to use my data as provided by me in the process of applying for a free Quonto DIG-OBDA Server Software copy, for reference purposes.

Part 10

I expressly acknowledge and agree that use of Quonto DIG-OBDA Server Software is at my sole risk, and that the entire risk as to satisfactory quality, performance, accuracy, and effort is with me. I accept that the Quonto DIG-OBDA Server Software is provided "as is", with all faults and without warranty of any kind, and DASI-lab - Dipartimento di Informatica e Sistemistica "Antonio Ruberti" hereby disclaim all warranties and conditions with respect to the Quonto DIG-OBDA Server Software, either express, implied or statutory, including, but not limited to, the implied warranties and/or conditions of merchantability, of satisfactory quality, of fitness for a particular purpose, of accuracy, of quiet enjoyment, and non-infringement of third party rights. I accept that DASI-lab - Dipartimento di Informatica e Sistemistica "Antonio Ruberti" does not warrant against interference with my enjoyment of the Quonto DIG-OBDA Server Software, that the functions contained in the Quonto DIG-OBDA Server software will meet my requirements, that the operation of the Quonto DIG-OBDA Server Software will be interrupted or error-free, or that defects in the Quonto DIG-OBDA Server Software will be corrected.

Part 11

I accept that DASI-lab - Dipartimento di Informatica e Sistemistica "Antonio Ruberti" cannot be liable for personal injury, or any incidental, special, indirect, or consequential damages whatsoever, including, without limitation, damages for loss of profits, loss of data, business interruption or any other commercial damages or losses, arising out of or related to my use or inability to use the Quonto DIG-OBDA Server Software, however caused, regardless of the theory of liability (contract, tort or otherwise) and even if DASI-lab - Dipartimento di Informatica e Sistemistica "Antonio Ruberti" has been advised of the possibility of such damages.

QuOnto is a JAVA ontology representation and reasoning tool implementing the DL-Lite family of ontology representation languages. At the core of the system there is the reasoner which provides the following main functionalities:

• Ontology representation and classification
• Ontology Consistency Check
• Intensional reasoning services: subsumption and disjunction between concepts, roles and attributes
• concepts, roles and attributes satisfiability
• Query Answering

The system provides several user interfaces:

• through proprietary XML formats for ontologies and queries
• through the OWL and SPARQL standard languages for ontologies and queries
• through a DIG interface

and uses relational DBMSs to store the extensional level of the ontologies. The Data Source Manager enables interactions with the most popular DBMSs both commercial and non-commercial. Among the other, supported is provided for Oracle, DB2, SQLServer, MySQL, Postgres.

QuOnto is fully conformant with the OWL 2 QL profile (http://www.w3.org/TR/2008/WD-owl2-profiles-20081202/)

QuOnto is an ontology-based system that is capable of reasoning over ontologies that contains very large amount of instances.

Besides the usual reasoning services, such as ontology satisfiability, subsumption and instance checking, QuOnto fully supports answering complex queries that involve unrestricted forms of joins and selections (i.e., union of conjunctive queries or above, see below).

QuOnto is the outcome of years of scientific research on the issue of effective query answering in ontologies, which has been carried out withing several projects, the most important of which is IST FET EU Project TONES (http://www.tonesproject.org/). The results of such work have been reported in several papers. Such a work has been highly influential in the ontology community and directly influenced the OWL 2 W3C standard (http://www.w3.org/2007/OWL/wiki/OWL_Working_Group) inspiring one of its profiles, namely OWL 2 QL (http://www.w3.org/TR/2008/WD-owl2-profiles-20081008/).

QuOnto effectiveness in dealing with large amount of instances is based on three main key points:

• It supports query answering (as well as usual reasoning services) in LOGSPACE wrt the size of the data (i.e., the ABox). This is the computational complexity of evaluating a SQL (i.e., relational algebra/first-order logic) query over a relational database.
• It actually allows for delegating reasoning with data to a relational DBMS.
• It captures the main constructs of ontology languages, including virtually all constructs that are typical of conceptual models, such as UML Class Diagrams and ER.

QuOnto includes interfaces and translators that ensure compatibility with OWL 2 and SPARQL syntax, the most popular languages for ontology representation and querying.

QuOnto also provides features that go beyond such standard languages, such as Identification, Denial and Epistemic constraints that help the ontology designers to better describe their domain, and also supports a specific query language SparSQL (SPARQL + SQL) that allow for express full SQL-like queries over such ontologies, while preserving the efficiency of the query answering process.

QuOnto uses standard Database Management Systems (DBMS) to represent and store the data layer of the ontologies, and delegates to the DBMS itself part of the query execution process. It supports the main commercial DBMS, in particular IBM DB2, Oracle and Microsoft SQLServer, as well as their data federation-oriented variants (e.g. IBM Information Integrator). It also supports several open source and freeware DBMS, including H2, MySql, SQLLite, Postgres, Derby.