27,305 Hits in 3.4 sec

Integrating Linked Data through RDFS and OWL: Some Lessons Learnt [chapter]

Aidan Hogan
2011 Lecture Notes in Computer Science  
We summarise how we overcome the challenges of scalability and robustness faced when reasoning over Linked Data.  ...  We validate our methods against an open-domain corpus of 1.1 billion quadruples crawled from 4 million Linked Data documents, discussing the applicability and utility of our reasoning methods in such scenarios  ...  ii) separating terminological data enables efficient distribution and further optimisation; (iii) cautious consideration of the source of data (authoritative reasoning) is needed to ensure reasonable materialisation  ... 
doi:10.1007/978-3-642-23580-1_20 fatcat:bwpwkumafbcsbfemlfez255yxu

SAOR: Template Rule Optimisations for Distributed Reasoning over 1 Billion Linked Data Triples [chapter]

Aidan Hogan, Jeff Z. Pan, Axel Polleres, Stefan Decker
2010 Lecture Notes in Computer Science  
In this paper, we discuss optimisations of rule-based materialisation approaches for reasoning over large static RDF datasets.  ...  We then show how related work on template rules -T-Box-specific dynamic rulesets created by binding the terminological patterns in the static ruleset -can be incorporated and optimised for the partial-indexing  ...  Conclusion We have introduced the notion of terminological data for RDF(S)/OWL, and have generalised and formalised the notion of partial indexing techniques which are optimised for application of linear  ... 
doi:10.1007/978-3-642-17746-0_22 fatcat:c67m3xji7ndmfgxqbzzagfd56e

Benchmark Analysis with FaCT [chapter]

Ian Horrocks
2000 Lecture Notes in Computer Science  
The FaCT system includes two reasoners, one for the logic SHF and the other for the logic SHIQ, both of which use optimised implementations of sound and complete tableaux algorithms.  ...  FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing.  ...  The reason for the poor performance is probably the lack of satisfiability status caching which, as demonstrated above, is a crucially important optimisation with this kind of test data.  ... 
doi:10.1007/10722086_6 fatcat:ict3ve5h5vcaji4d23kvxcbv6y

Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics [chapter]

Sergio Tessaris, Ian Horrocks
2002 Lecture Notes in Computer Science  
However, most of recent results on practical algorithms are confined to terminological reasoning only.  ...  In this paper we present an algorithm for deciding knowledge base satisfiability based on the idea of separating terminological and assertional reasoning.  ...  Moreover, the precompletion phase is completely separated from the terminological reasoning, so optimisation techniques implemented at the two levels do not interact adversely.  ... 
doi:10.1007/3-540-36078-6_29 fatcat:jqlspbci25g2xiemgfapawph74

The Cartographer Algorithm for Processing and Querying Description Logics Ontologies [chapter]

Krzysztof Goczyla, Teresa Grabowska, Wojciech Waloszek, Michal Zawadzki
2005 Lecture Notes in Computer Science  
The paper presents a new reasoning algorithm -the Cartographer Algorithm -that allows for inferring implicit knowledge from a terminology (TBox) and assertions (ABox) of an ontology.  ...  In addition, results of experiments comparing the Cartographer Algorithm with other reasoners are presented.  ...  There is also a commercial product called Cerebra [7] that reportedly is based on FaCT optimised and enhanced with capabilities of reasoning over ABox.  ... 
doi:10.1007/11495772_26 fatcat:y2toqiwarbdedhdfcgi4cr7vsa

Large-Scale Reasoning with OWL [article]

Michael Ruster
2016 arXiv   pre-print
This paper outlines common approaches for efficient reasoning on large-scale data consisting of billions (10^9) of triples.  ...  Moreover, the QueryPIE reasoner is presented as a backward chaining/hybrid approach which uses query rewriting. Furthermore, an overview on other reasoners is given such as OWLIM and TrOWL.  ...  [44] focus their optimisation on what they call terminological triple patterns.  ... 
arXiv:1602.04473v1 fatcat:4b3gdsoct5ge3a5txqw2ah23cu

On the Ostensibly Silent 'W' in OWL 2 RL [chapter]

Aidan Hogan, Stefan Decker
2009 Lecture Notes in Computer Science  
In particular, borrowing from previous work, we discuss (i) optimisations based on a separation of terminological data from assertional data and (ii) the application of authoritative analysis to constrain  ...  on reasoning over a representative Web dataset of approx. 12 million statements.  ...  Separating terminological data The main optimisation of SAOR, and indeed the main divergence from traditional rules engines, is in considering a distinction between terminological data and assertional  ... 
doi:10.1007/978-3-642-05082-4_9 fatcat:woomvskafje3xdynghrhlsj53q

La solución de optimización C2NET

R. Sanchís, B. Andrés, R. Poler, J. Mula, M. Díaz-Madroñero
2018 Revista CEPADE  
Further research is oriented to develop and test more algorithms to solve other optimisation problems that the present research does not contemplate. 5.  ...  Acknowledgement The research that led to these results forms part of the "Cloud Collaborative Manufacturing Networks" (C2NET) Project, which has received funding from the EU Horizon 2020 Research and Innovation  ...  This data model provides a common terminology for all the stakeholders involved in optimisation.  ... 
doi:10.37610/dyo.v0i64.520 fatcat:5jxt5twy5vf2ngm2ozdnze52xu

Methodology to Validate Results from European Research Projects: The C2NET Case Study

R. Sanchis, B. Andrés, R. Poler
2019 International Journal of Production Management and Engineering  
As an example, the general methodology has been applied to define a specific one for the validation of an Optimiser developed within the European Research Project: Cloud Collaborative Manufacturing Networks  ...  For this reason, it is critical to test and validate European projects results before implementing them in real scenarios.  ...  Acknowledgements The research leading to these results is in the frame of the "Cloud Collaborative Manufacturing Networks" (C2NET) project which has received funding from the European Union's Horizon 2020  ... 
doi:10.4995/ijpme.2019.10795 fatcat:ztb3smjitre3hm7fr4oprksdma

Managing Semantic Metadata for Web/Grid Services

L. Chen, N. R. Shadbolt, C. Goble, F. Tao
2006 International Journal of Web Services Research  
We demonstrate the added value of the use of SMD through the integration of SMD management with GEODISE application systems.  ...  of services for problem solving.  ...  The DL-based reasoner deals purely with terminological reasoning functionality. As terminologies are fairly restrictive there will be no size limitation problem.  ... 
doi:10.4018/jwsr.2006100104 fatcat:a6ndde6bore6rm4rh7yx37zuiq

Medically optimised: healthcare language and dehumanisation

Judith Dawson
2021 British Journal of General Practice  
DEPERSONALISATION Haque and Waytz examine in detail the reasons why clinicians and healthcare systems allow subtle forms of dehumanisation to enter clinical practice, so that people are treated as non-persons  ...  Email: This article was first posted on BJGP Life on 4 March 2021; DOI: Medically optimised: healthcare language  ... 
doi:10.3399/bjgp21x715829 pmid:33926878 pmcid:PMC8087305 fatcat:yesatpo6pvemjb63kina32xiaa

Ontology optimisation-Problematics & methodology, with a first step of formalism

Truong My Dung, Nguyen Dinh Ngoc
2005 Progress in Informatics  
For that reason we have to be a bit more attentive regarding the methodology.  ...  the Sino-Vietnamese Radicals/Terminology in many important Domains in Vietnamese language, eg. scientific terminology. 2) Education and Training in Digital Content C r e a t i o n Te c h n o l o g y a  ... 
doi:10.2201/niipi.2005.2.7 fatcat:ujozilgknrchzohe4exlceiwhm

Optimisation of complex health interventions prior to a randomised controlled trial: a scoping review of strategies used

Sara Levati, Pauline Campbell, Rachael Frost, Nadine Dougall, Mary Wells, Cam Donaldson, Suzanne Hagen
2016 Pilot and Feasibility Studies  
Optimisation strategies were used for a range of reasons: to explore the feasibility and acceptability of the intervention to patients and healthcare professionals; to estimate the effectiveness and cost-effectiveness  ...  focus of the optimisation process, methods used and outcomes of the optimisation process.  ...  For this reason, we use the term 'optimisation strategies' as an umbrella term to encompass a wide range of approaches, such as those referred to above, used to optimise the intervention itself before  ... 
doi:10.1186/s40814-016-0058-y pmid:27965837 pmcid:PMC5153688 fatcat:uj2wj5mnznak7j3zaszfhsmrzu

Page 553 of The Journal of the Operational Research Society Vol. 47, Issue 4 [page]

1996 The Journal of the Operational Research Society  
Most such problems can be regarded as problems of function optimisation subject to a series of constraints.  ...  The terminology relies heavily on terms from genetics in the same way as the language of simulated annealing relies on its origins in statistical thermodynamics.  ... 

Page 523 of The Journal of the Operational Research Society Vol. 42, Issue 6 [page]

1991 The Journal of the Operational Research Society  
For this reason, it has been suggested since the early 1980s that relational database principles should be applied to the design of mathematical models, particularly of OR-type planning models.  ...  MULLER-MERBACH (1986) Architecture of information, optimisation and simulation systems for microcomputers. In OR Models on Microcomputers (J. D. CoELHO and L. V. Tavargs, Eds.), pp. 3-12.  ... 
« Previous Showing results 1 — 15 out of 27,305 results