A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Integrating Linked Data through RDFS and OWL: Some Lessons Learnt
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2000
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2016
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2018
Revista CEPADE
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2019
International Journal of Production Management and Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2006
International Journal of Web Services Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2021
British Journal of General Practice
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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: judith.dawson3@nhs.net This article was first posted on BJGP Life on 4 March 2021; https://bjgplife.com/optimised DOI: https://doi.org/10.3399/bjgp21X715829 Medically optimised: healthcare language ...
doi:10.3399/bjgp21x715829
pmid:33926878
pmcid:PMC8087305
fatcat:yesatpo6pvemjb63kina32xiaa
Ontology optimisation-Problematics & methodology, with a first step of formalism
2005
Progress in Informatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2016
Pilot and Feasibility Studies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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