Objective
Semantic Web technologies, like OWL 2 and RDF(S) ontologies have gradually started to be used in many research as well as industrial strength applications, a recent example being BBC's World Cup Semantic Website. Many such applications usually have to deal (reason) with a huge amount of data in as much little time as possible. The pressing need for scalable reasoning often forces developers to use incomplete ontology reasoners--that is, reasoners which for some combinations of inputs fail to derive all answers to a user query. Examples of such systems are OWLim (the system used by BBC), Oracle's Semantic Store, and more. Although incompleteness provides performance guarantees it is clearly undesirable, and in some applications may even be unacceptable. To address this problem, the current project aims at investigating the problem of `repairing' an ontology O for an incomplete reasoner--that is, computing an extension R such that a reasoner that is incomplete for O becomes complete when used with O and R as inputs.
The project will investigate the possibility of repairing ontologies O which contain disjunctive constructors and also repairing under non-ground queries. Both these features are very important in knowledge representation and ontology engineering and to the best of our knowledge are currently not supported by any state-of-the-art repair approach. Furthermore, the project will also provide prototypical implementations and an extensive experimental evaluation as proof of concept of the proposed technologies and the practically of the approach. Finally, it will also investigate the trade-off between fully repairing completeness of an incomplete system and the consequences that the repair potentially has in its scalability. Overall, the project aims at delivering scalable and complete ontology reasoning by bringing together complete but inherently inefficient systems with incomplete but scalable ones.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
- natural sciences computer and information sciences knowledge engineering ontology
- natural sciences computer and information sciences internet semantic web
You need to log in or register to use this function
We are sorry... an unexpected error occurred during execution.
You need to be authenticated. Your session might have expired.
Thank you for your feedback. You will soon receive an email to confirm the submission. If you have selected to be notified about the reporting status, you will also be contacted when the reporting status will change.
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
FP7-PEOPLE-2011-CIG
See other projects for this call
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
MC-CIG - Support for training and career development of researcher (CIG)
Coordinator
157 72 ATHINA
Greece
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.