Optimising ontology classification
[PDF] from ox.ac.uk
B Glimm, I Horrocks, B Motik... - The Semantic Web-ISWC 2010, 2010 - Springer
... properties using our optimised procedure. We have implemented our algorithms
in the OWL HermiT reasoner, and we present the results of a performance evaluation.
1 Introduction Ontology classification-the computation ...
Cited by 1 - Related articles - All 13 versions - Import into BibTeX
[PDF] ontoCAT: package for basic operations with ontologies
[PDF] from frugalware.org
N Kurbatova, T Adamusiak, P Kurnosov, M Swertz... - 2011 - ftp13.frugalware.org
... HermiT reasoner is used to support relationships. OBO ontologies are translated by OWL API
into valid OWL format that can be reasoned over. We provide two versions of ontoCAT: ... Reasoning
over ontologies and extracting relationships is supported by using HermiT reasoner. ...
Related articles - View as HTML - All 8 versions - Import into BibTeX
SPARQL query answering over OWL ontologies
[PDF] from ox.ac.uk
I Kollia, B Glimm... - The Semantic Web: Research and ..., 2011 - Springer
... statistics provided by the reasoner. We use the HermiT reasoner4 for OWL reasoning,
but only the module that generates statistics and provides cost estimations is HermiT
specific. 4.2 Experimental Results We tested our system ...
Cited by 4 - Related articles - All 15 versions - Import into BibTeX
Optimized Description Logic Reasoning via Core Blocking
[HTML] from hermit-reasoner.com
B Glimm, I Horrocks... - Automated Reasoning, 2010 - Springer
... techniques. An evaluation of a prototypical implementa- tion in the HermiT reasoner
shows that our technique can dramatically reduce the size of constructed model
abstractions and reduce reasoning time. 1 Introduction Description ...
Cited by 8 - Related articles - All 15 versions - Import into BibTeX
[PDF] Optimized dl reasoning via core blocking
[PDF] from kr.org
B Glimm, I Horrocks... - 23rd International Workshop on Description ..., 2010 - dl.kr.org
... We further present an empirical evaluation using a prototypical implementation of our technique
in the HermiT reasoner. ... 4 Empirical Evaluation We implemented the different core blocking
strategies in our HermiT reasoner and car- ried out a preliminary empirical evaluation. ...
Related articles - View as HTML - All 13 versions - Import into BibTeX
ontoCAT: an R package for ontology traversal and search
N Kurbatova, T Adamusiak, P Kurnosov... - ..., 2011 - Oxford Univ Press
... available. 3 TECHNICAL DETAILS The package is based primarily on the Ontology
Common API Tasks Java library, on the OWLAPI and depends on rJava R package.
HermiT reasoner is used to support relationships. ontoCAT ...
Cited by 3 - Related articles - All 6 versions - Import into BibTeX
[HTML] Relations as patterns: bridging the gap between OBO and OWL
[HTML] from biomedcentral.com
R Hoehndorf, A Oellrich, M Dumontier... - BMC ..., 2010 - biomedcentral.com
... We classify the generated OWL ontology using the Hermit OWL reasoner. Based on the
classified OWL ontology, we attempt to prove the two patterns for each pair of named classes
in the ontology. We use the Hermit reasoner to perform these inferences. ...
Cited by 15 - Related articles - Cached - All 12 versions - Import into BibTeX
DeLorean: A reasoner for fuzzy OWL 2
F Bobillo, M Delgado... - Expert Systems with ..., 2011 - Elsevier
Related articles - All 2 versions - Import into BibTeX
Soundness preserving approximation for TBox reasoning
[PDF] from aberdeen.ac.uk
Y Ren, JZ Pan... - Proc. of AAAI, 2010 - aaai.org
Page 1. Soundness Preserving Approximation for TBox Reasoning Yuan Ren and
Jeff Z. Pan and Yuting Zhao Department of Computing Science University of Aberdeen
Aberdeen, UK Abstract Large scale ontology applications ...
Cited by 15 - Related articles - All 7 versions - Import into BibTeX
[HTML] Ontology-based Brucella vaccine literature indexing and systematic analysis of gene-vaccine association network
[HTML] from genomebiology.com
J Hur, Z Xiang, EL Feldman... - BMC immunology, 2011 - genomebiology.com
... The asserted ontology hierarchy is an ontology hierarchy specified by ontology developers. The
inferred ontology hierarchy, based on the Web Ontology Language (OWL) [20], is generated
by a specific ontology reasoner, such as HermiT (http://hermit-reasoner.com webcite). ...
Cited by 1 - Related articles - Cached - All 11 versions - Import into BibTeX
Ontology patterns for tabular representations of biomedical knowledge on neglected tropical diseases
[HTML] from nih.gov
F Santana, D Schober, Z Medeiros, F Freitas... - ..., 2011 - Oxford Univ Press
... 3 MATERIAL AND METHODS. 3.1 Ontology building. NTDO, the domain ontology for
NTDs was build and edited via Protégé v.4 (http://protege.stanford.edu/), using the
embedded HermIT reasoner (Motik et al., 2009) for auto-classification. ...
Cited by 1 - Related articles - All 6 versions - Import into BibTeX
[PDF] Relational patterns in OWL and their application to OBO
[PDF] from webont.org
R Hoehndorf, A Oellrich, M Dumontier... - Proceedings of OWL: ..., 2010 - webont.org
... We classify the generated OWL ontology using the Hermit OWL reasoner. Based on the
classified OWL ontology, we attempt to prove the two patterns for each pair of named classes
in the ontology. We use the Hermit reasoner to perform these inferences. ...
Cited by 1 - Related articles - View as HTML - All 5 versions - Import into BibTeX
[PDF] OWLDEF: Integrating OBO and OWL
[PDF] from leechuck.de
R Hoehndorf, A Oellrich, M Dumontier... - Proceedings of the 7th ..., 2010 - leechuck.de
... We classify the generated OWL ontology using the Hermit OWL reasoner. Based on the
classified OWL ontology, we attempt to prove the two patterns for each pair of named classes
in the ontology. We use the Hermit reasoner to perform these inferences. ...
Cited by 1 - Related articles - View as HTML - All 2 versions - Import into BibTeX
Reasoning in the OWL 2 full ontology language using first-order automated theorem proving
[PDF] from arxiv.org
M Schneider... - Automated Deduction-CADE-23, 2011 - Springer
... Systems for OWL reasoning - Pellet 2.2.2 (http://clarkparsia.com/pellet). An OWL 2 DL reasoner
that implements a tableaux-based decision procedure. - HermiT 1.3.2 (http://hermit-reasoner.
com). An OWL 2 DL reasoner that implements a tableaux-based decision procedure. ...
Cited by 4 - Related articles - All 6 versions - Import into BibTeX
Ontology and medical diagnosis
V Bertaud-Gounot, R Duvauferrier... - Informatics for Health ..., 2011 - informahealthcare.com
... PROTÉGÉ (http://protege.stanford.edu) (v4.1.0 alpha Build 102), a free, open source ontology
editor and a knowledge-based framework developed by the Stanford BioMedical Informatics
Research Center with HermiTv1.2.4 reasoner (http://hermit-reasoner.com/) were used. ...
Related articles - All 2 versions - Import into BibTeX
A user-oriented and context-aware service orchestration framework for dynamic home automation systems
[PDF] from preuveneers.be
T Coopman, W Theetaert, D Preuveneers... - Ambient Intelligence and ..., 2010 - Springer
... match. Likewise should the type of instance i2 (here of type B) be subsumed by typeY.
We use subsumption in a similar way to find devices with specific capabilities. 1
http://hermit-reasoner.com/ Page 6. 68 T. Coopman et al. Fig. ...
Cited by 3 - Related articles - All 5 versions - Import into BibTeX
[PDF] OntoCAT-an integrated programming toolkit for common ontology application tasks
[PDF] from nature.com
T Adamusiak, N Kurbatova, MA Swertz... - 2011 - precedings.nature.com
... This is enabled for local on- tologies via HermiT reasoner [4], which supports knowledge bases
expressed in SROIQ(D) - the description logic under- pinning OWL2 (see also www.ontocat.org/
wiki/Reasoning) and OLS, which provides a dedicated web service. ...
Related articles - View as HTML - All 2 versions - Import into BibTeX
[PDF] A Concept for Semantic-based Information Management for Control Room Development
[PDF] from icas-proceedings.net
E Gringinger, D Eier... - International Council of the ..., 2010 - icas-proceedings.net
... 9 http://www.hermit-reasoner.com/ 10 http://www.ontotext.com/owlim/ 11 http://www.ontotext.
com/trree/ SROIQ SHIQ SHIQ Page 7. 7 A CONCEPT FOR SEMANTIC-BASED
INFORMATION MANAGEMENT FOR CONTROL ROOM DEVELOPMENT ...
Cited by 2 - Related articles - View as HTML - All 2 versions - Import into BibTeX
[PDF] The DebugIT Core Ontology: semantic integration of antibiotics resistance patterns
[PDF] from 129.194.97.165
D Schober, M Boeker, J Bullenkamp, C Huszka... - MEDINFO, 2010 - 129.194.97.165
... susceptibility2 a dco:MicrobiologicalSusceptibility; 13 http://hermit-reasoner.com/
biotop:qualityLocated [ a ?result2 ]. } WHERE { GRAPH<http://debugit.eu/inserm-map.n3> {
?antibiotic1 a dco:Trimethoprim. ?bacteria a biotop:SpeciesEscherichiaColiRegion. ?r1 a ?result1. ...
Cited by 9 - Related articles - View as HTML - All 3 versions - Import into BibTeX
Reasoning-supported interactive revision of knowledge bases
[PDF] from kit.edu
N Nikitina, S Rudolph... - Proceedings of the 22nd International ..., 2011 - aaai.org
Page 1. Reasoning-Supported Interactive Revision of Knowledge Bases Nadeschda
Nikitina 1 and Sebastian Rudolph 1 and Birte Glimm 2 1 Karlsruhe Institute of
Technology 2 Oxford University Computing Laboratory, UK {nikitina ...
Cited by 4 - Related articles - All 14 versions - Import into BibTeX
A semantic framework for modelling quotes in email conversations
[PDF] from emse.fr
A Passant, A Zimmermann, J Schneider... - Proceedings of the 1st ..., 2010 - dl.acm.org
... Modelling the chains in the stan- dard Web Ontology Language allows one to use a general
purpose reasoner such as Pellet10 or HermiT11. Addition- 9http://www.w3.org/TeamSubmission/
turtle/ 10http://clarkparsia.com/pellet 11http://hermit-reasoner.com/ ...
Cited by 1 - Related articles - All 6 versions - Import into BibTeX
[HTML] Mining of vaccine-associated IFN-? gene interaction networks using the Vaccine Ontology
[HTML] from nih.gov
A Özgür, Z Xiang, DR Radev... - Journal of biomedical ..., 2011 - ncbi.nlm.nih.gov
... For example, the class term inactivated vaccine is fully defined as: Figure 4. Figure 4 The 28
vaccines that are associated with the top 32 genes. (A) Asserted hierarchy; (B) Inferred hierarchy
after using HermiT OWL reasoner (http://hermit-reasoner.com/). ...
Cited by 5 - Related articles - All 21 versions - Import into BibTeX
A context aware, mobile system providing memory support for ageing people
M Migliardi, M Gaudina - MIPRO, 2011 Proceedings of the ..., 2011 - ieeexplore.ieee.org
... The keywords that are extracted from a given task description are fed into Ontology Reasoner.
The Ontology Reasoner is implemented using HermiT reasoner. ... We created an ontology using
Protégé and operate on it in Java using OWL API and HermiT reasoner. ...
Related articles - Import into BibTeX
Active Personal Information Manager: a System for Human Memory Support
M Migliardi, M Gaudina - Complex, Intelligent and Software ..., 2011 - ieeexplore.ieee.org
... The keywords that are extracted from a given task description are fed into the Ontology Reasoner
module that is implemented using the HermiT reasoner. ... We created an ontology using Protégé
and operate on it in Java using OWL API and HermiT reasoner. ...
Cited by 1 - Related articles - All 2 versions - Import into BibTeX
The role of ontologies in enabling dynamic interoperability
[PDF] from inria.fr
V Nundloll, P Grace... - Distributed Applications and Interoperable ..., 2011 - Springer
... References 1. http://hermit-reasoner.com/ 2. http://www.racer-systems.com/products/racerpro/
3. http://owl.man.ac.uk/factplusplus/ 4. http://protege.stanford.edu/ 5. Zhang, M., Wolf, R.: Border
Node Based Routing Protocol for VANETs in Sparse and Rural Areas. ...
Related articles - All 6 versions - Import into BibTeX
Semantic Annotation Semantically: Using a Shareable Extraction Ontology and a Reasoner
[PDF] from thinkmind.org
J Dedek, P Vojtas - ... 2011, The Fifth International Conference on ..., 2011 - thinkmind.org
... For the experiment we selected only the 'acquired' task. C. Reasoners In the experiment we used
four OWL reasoners: Jena (http://jena.sourceforge.net), HermiT (http://hermit-reasoner.com), Pellet
(http://clarkparsia.com/pellet), FaCT++ (http://code.google.com/p/factplusplus) . ...
Import into BibTeX
Integrated metamodeling and diagnosis in owl 2
[PDF] from kit.edu
B Glimm, S Rudolph... - The Semantic Web-ISWC 2010, 2010 - Springer
Page 1. Integrated Metamodeling and Diagnosis in OWL 2 Birte Glimm1, Sebastian
Rudolph2, and Johanna Völker3 1 Oxford University Computation Laboratory, UK
birte.glimm@comlab.ox.ac.uk 2 Institute AIFB, Karlsruhe ...
Cited by 5 - Related articles - All 15 versions - Import into BibTeX
Application of ontologies in tools for development of intelligent decision support systems
GB Zagorulko... - ... Technology (CriMiCo), 2011 ..., 2011 - ieeexplore.ieee.org
... [3] HermiT OWL Reasoner. URL: http://www.hermit- reasoner.com (???? ?????????:
20.05.2011). APPLICATION OF ONTOLOGIES IN TOOLS FOR DEVELOPMENT OF
INTELLIGENT DECISION SUPPORT SYSTEMS Zagorulko GB, Zagorulko Yu. ...
Import into BibTeX
Using ontologies in database preservation
[PDF] from uminho.pt
RAP Freitas... - 2011 - repositorium.sdum.uminho.pt
... "A Survey of Current Approaches for Mapping of Relational Databases to RDF," W3C Incubator
Group, 2009 18. http://protege.stanford.edu 19. http://hermit-reasoner.com/ 20. "SWRL: A
Semantic Web Rule Language Combining OWL and RuleML" [Online]. ...
Related articles - All 2 versions - Import into BibTeX
An adjustable transformation from OWL to ecore
T Rahmani, D Oberle... - Model Driven Engineering Languages ..., 2010 - Springer
... use cases. Their work relies on the OWL2Ecore transformation of the Eclipse Ontology
Definition 1 http://owlapi.sourceforge.net/ 2 http://hermit-reasoner.com/ Page 14. 256
T. Rahmani, D. Oberle, and M. Dahms Metamodel (EODM ...
Related articles - All 2 versions - Import into BibTeX
[PDF] Document Information
[PDF] from shef.ac.uk
R Garcia-Castro, M Yatskevich, CT dos Santos... - 2011 - staffwww.dcs.shef.ac.uk
Page 1. The state of semantic technology today - Overview of the First SEALS Evaluation
Campaigns Raúl García-Castro, Mikalai Yatskevich, Cássia Trojahn dos Santos, Stuart N. Wrigley,
Liliana Cabral, Lyndon Nixon and Ondrej Šváb-Zamazal April 2011 Page 2. ...
Related articles - View as HTML - All 2 versions - Import into BibTeX
A novel approach to ontology classification
[PDF] from uni-ulm.de
B Glimm, I Horrocks, B Motik, R Shearer... - Web Semantics: Science, ..., 2012 - Elsevier
... property hierarchies. We have implemented our techniques in the HermiT reasoner.
To the best of our knowledge, this makes HermiT the only OWL 2 DL reasoner that
correctly classifies object and data properties. Moreover ...
Import into BibTeX
[PDF] An Ontology-Based and Service-Oriented Information System Architecture to Enable Sustainable Management of Scarce Non-Renewable Resources
[PDF] from wi-if.de
B Gleich - 2011 - wi-if.de
... In addition, queries can automatically be answered by testing the consistency of the union of
the ontology and the query taken as statement. In practice, this task is carried out by specialized
reasoning libraries like pellet (pellet.owldl.org) or HermiT (www.hermit-reasoner.com). ...
Related articles - View as HTML - All 2 versions - Import into BibTeX
Development of an Ontology-Directed Signal Processing Toolbox
SW Lang - 2011 - osti.gov
... Creation and storing the ontology • Loading the ontology • Getting all axioms in the otology (twice
to warm the caches) • Query for a named individual in the ontology • Start HermiT reasoner and
pre-compute inferences for the ontology A.3 Performance Results ...
View as HTML - Import into BibTeX
Comparison of reasoners for large ontologies in the OWL 2 EL profile
[PDF] from reasonerben.ch
K Dentler, R Cornet, A Ten Teije... - Semantic Web, 2011 - IOS Press
Page 1. Semantic Web 0 (2011) 1-17 1 DOI 10.3233/SW-2011-0034 IOS Press 1 52 2 53 3 54
4 55 5 56 6 57 7 58 8 59 9 60 10 61 11 62 12 63 13 64 14 65 15 66 16 67 17 68 18 69 19 70
20 71 21 72 22 73 23 74 24 75 25 76 26 77 27 78 28 79 29 80 30 81 31 82 32 83 33 84 ...
Cited by 5 - Related articles - All 4 versions - Import into BibTeX
[PDF] Context Aware Healthcare Application
[PDF] from ijcaonline.org
T Arunkumar - International Journal of Computer Applications, 2011 - ijcaonline.org
... The reasoner is able to reason out or inferred the new facts from the existing facts with the help
of Hermit reasoner (there are other reasoners too like Fact++ and Pellete 1.5 added in OWL API
Version 3.0). ... We have used OWL Reasoner that intern uses Hermit reasoner. ...
Related articles - View as HTML - All 2 versions - Import into BibTeX
OWL 2 modeling and reasoning with complex human activities
D Riboni... - Pervasive and Mobile Computing, 2011 - Elsevier
Cited by 1 - Related articles - All 2 versions - Import into BibTeX
Description logic based generator of data centric applications
P Kaplanski - ... (ICIT), 2010 2nd International Conference on, 2010 - ieeexplore.ieee.org
... a concept is satisfiable). These tasks are supported by specialized computable algorithms called
Reasoners (eg HermiT [http://hermit-reasoner.com], Fact++ [http://owl.man.ac.uklfactplusplus],
CEL [http://lat.inf.tu dresden.de/systems/cel], Pellet [http://clarkparsia.com!pellet]). ...
Related articles - Import into BibTeX
Using ontologies to abstract relational databases conceptual model
[PDF] from uminho.pt
RAP Freitas... - 2011 - repositorium.sdum.uminho.pt
... http://protege.stanford.edu 37. http://hermit-reasoner.com/ 38. "SWRL: A Semantic Web
Rule Language Combining OWL and RuleML" [Online]. Available: http://www.w3.org/
Submission/SWRL/ EPIA'2011 ISBN: 978-989-95618-4-7 384
Import into BibTeX
Development Tools
LF Sikos - Web Standards, 2011 - Springer
... Page 9. #(!04%2¦ Figure 11-5. The HermiT reasoner running in Protégé (ERMI4TopBraid
Composer FOR 30!21,PelletRacerPro 2.0 2$&3 &A#4 -ATH4YPE -ATH4YPE EQUATIONS
Page 10. #(!04%2¦ Figure 11-6. Equation editing in MathType ...
Import into BibTeX
Towards a BPMN 2.0 Ontology
C Natschläger - Business Process Model and Notation, 2011 - Springer
... FaCT++, http://owl.man.ac.uk/factplusplus (visited February 2011) 16. Pellet, http://clarkparsia.com/
pellet (visited February 2011) 17. HermiT 1.2.4, http://hermit-reasoner.com (visited February 2011)
18. BPMN Modeler, www.eclipse.org/bpmn (visited February 2011)
Import into BibTeX
[HTML] ONTO-ToolKit: enabling bio-ontology engineering via Galaxy
[HTML] from biomedcentral.com
E Antezana, A Venkatesan, C Mungall... - BMC ..., 2010 - biomedcentral.com
... Wolstencroft K, Stevens R, Haarslev V: Applying OWL Reasoning to Genomic Data. Edited
by: Semantic Web. Edited by Baker CJ, Cheung KH. New York: Springer; 2007:225-248.
[http://hermit-reasoner.com/]. [http://www.bioperl.org/wiki/Main_Page]. ...
Cited by 2 - Related articles - Cached - All 13 versions - Import into BibTeX
[PDF] Automatic determination of anticoagulation status with NDF-RT
[PDF] from nih.gov
O Bodenreider, F Mougin... - 13th ISMB Special Interest ..., 2010 - mor.nlm.nih.gov
... 16, 211-219. Protégé: http://protege.stanford.edu/ HermiT: http://hermit-reasoner.
com/ Weimar, C., Weber, R. and Diener, HC (2009) Antithrombotic medication for
stroke prevention, Expert Rev Cardiovasc Ther, 7, 1245-1254.
Cited by 6 - Related articles - View as HTML - All 8 versions - Import into BibTeX
Wheat and Chaff-Practically Feasible Interactive Ontology Revision
[PDF] from kit.edu
N Nikitina, B Glimm... - The Semantic Web-ISWC 2011, 2011 - Springer
Page 1. Wheat and Chaff - Practically Feasible Interactive Ontology Revision Nadeschda
Nikitina1, Birte Glimm2, and Sebastian Rudolph1 1 Institute AIFB, Karlsruhe Institute of
Technology, DE 2 Ulm University, Institute of Artificial Intelligence, DE Abstract. ...
Cited by 2 - Related articles - All 5 versions - Import into BibTeX
Semantic Annotations for WS-Policy
[PDF] from kit.edu
S Speiser - Web Services (ICWS), 2010 IEEE International ..., 2010 - ieeexplore.ieee.org
... For each assertion a new class is added to the ontology and if specified, it is set equivalent
to the classes obtained from the modelReference attribute and 1Available at
http://ws.apache.org/commons/neethi/ 2Available at http://hermit-reasoner.com/ ...
Cited by 4 - Related articles - All 5 versions - Import into BibTeX
[PDF] On the utility and feasibility of reasoning with undecidable semantic web formalisms
[PDF] from kit.edu
S Rudolph... - 2011 - aifb.kit.edu
Page 1. On the Utility and Feasibility of Reasoning with Undecidable Semantic Web
Formalisms Technical Report 3016, Institute AIFB, KIT Sebastian Rudolph and Michael
Schneider Institute AIFB, Karlsruhe Institute of Technology ...
Cited by 1 - Related articles - View as HTML - Import into BibTeX
Describing Images Using Qualitative Models and Description Logics
[PDF] from uji.es
Z Falomir, E Jiménez-Ruiz, MT Escrig... - Spatial Cognition & ..., 2011 - Taylor & Francis
Cited by 3 - Related articles - All 4 versions - Import into BibTeX
Controlling access to data via OWL reasoning
[PDF] from polimi.it
E UZUNDERE - 2010 - politesi.polimi.it
Page 1. POLITECNICO DI MILANO FACOLTÀ DI INGENERIA DELL' INFORMAZIONE MASTER
OF SCIENCE IN COMPUTER ENGINEERING CONTROLLING ACCESS TO DATA VIA OWL
REASONING Supervisor: Prof. Marco COLOMBETTI Author: Ebru UZUNDERE 737084 ...
Related articles - All 2 versions - Import into BibTeX
New dimension in relational database preservation: raising the abstraction level
[PDF] from uminho.pt
RAP Freitas... - 2011 - repositorium.sdum.uminho.pt
... 2009 [39] I. Myroshnichenko , MC Murphy, "Mapping ER Schemas to OWL Ontologies,"
Proceedings of the 2009 IEEE International Conference on Semantic Computing, p.324-329,
September 14-16, 2009 [40] http://protege.stanford.edu [41] http://hermit-reasoner.com/ [42 ...
Import into BibTeX
[PDF] Knowledge Representation and Reasoning System (KReS)-Alpha version report
[PDF] from cnr.it
A Adamou, E Blomqvist, CE Bonafede, E Daga... - 2010 - stlab.istc.cnr.it
... eu.iksproject.kres.semion.refactorer: Implements the refactoring functionalities of SEMION; 20The
OWL API, http://owlapi.sourceforge.net 21OWLLink, http://www.owllink.org/ 22Jena,
http://jena.sourceforge.net 23HermiT, http://hermit-reasoner.com Page 15. ...
Cited by 2 - Related articles - View as HTML - Import into BibTeX
[HTML] Federated ontology-based queries over cancer data
[HTML] from biomedcentral.com
A González-Beltrán, B Tagger... - BMC ..., 2012 - w02.biomedcentral.com
Personalised medicine provides patients with treatments that are specific to their genetic profiles.
It requires efficient data sharing of disparate data types across a variety of scientific disciplines,
such as molecular biology, pathology, radiology and clinical practice. Personalised medicine ...
Cached - Import into BibTeX
Bidirectional reachability-based modules
[PDF] from csir.co.za
R Nortje, T Meyer - 2011 - researchspace.csir.co.za
... From the table we see that bidirectional reachability-based modules are be- tween 30%
and 80% smaller than standard reachability-based modules and may 2 http://lat.inf.tu-
dresden.de/systems/cel/ 3 http://hermit-reasoner.com/ Page 10. ...
Related articles - All 2 versions - Import into BibTeX
[PDF] Semi-automatic Mining of Semantic Descriptions of Processes in the Web
[PDF] from kit.edu
J Hoxha... - 2010 - aifb.kit.edu
Page 1. Semi-automatic Mining of Semantic Descriptions of Processes in the Web
Julia Hoxha and Sudhir Agarwal Insitute of Applied Informatics and Formal
Description Methods (AIFB) Karlsruhe Institute of Technology(KIT ...
Cited by 4 - Related articles - View as HTML - Import into BibTeX
[PDF] RMonto-towards KDD workflows for ontology-based data mining
[PDF] from uzh.ch
J Potoniec... - eCML PKDD 2011, 2011 - files.ifi.uzh.ch
... 6 http://www. ontotext. com/owlim 7 http://clarkparsia. com/pellet/ 8 http://www. hermit-reasoner.
com/ 9 http://www. osgi. org/ 13 Page 22. RapidMiner I/O SeSiL proxy Clustering API SeSiL
PutOntoAPI Fig. 1: Architecture of current rmonto extension. ...
Related articles - View as HTML - All 2 versions - Import into BibTeX
Semi-automatic Acquisition of Semantic Descriptions of Processes in the Web
[PDF] from juliahoxha.com
J Hoxha... - ... Agent Technology (WI-IAT), 2010 IEEE/ ..., 2010 - ieeexplore.ieee.org
Page 1. Semi-automatic Acquisition of Semantic Descriptions of Processes in the
Web Julia Hoxha and Sudhir Agarwal Institute of Applied Informatics and Formal
Description Methods (AIFB) Karlsruhe Institute of Technology ...
Cited by 3 - Related articles - All 9 versions - Import into BibTeX
Relational databases conceptual preservation
[PDF] from uminho.pt
RAP Freitas... - 2011 - repositorium.sdum.uminho.pt
... 329, September 14-16, 2009 34. http://protege.stanford.edu 35. http://hermit-reasoner.
com/ 36. "SWRL: A Semantic Web Rule Language Combining OWL and RuleML"
[Online]. Available: http://www.w3.org/Submission/SWRL/
Import into BibTeX
Expectations for Assessment of Services Quality
[PDF] from sprers.eu
IA Letia... - Symbolic and Numeric Algorithms ..., 2010 - ieeexplore.ieee.org
... In order to be able to successfully apply a combination between tableaux based reasoning and
rules implemented either directly in the ontology (with Hermit reasoner support), either manually
in a procedural reasoning, the Satisfies relation must be explicitly defined, according ...
Related articles - All 5 versions - Import into BibTeX
SPARQL beyond subgraph matching
[PDF] from ox.ac.uk
B Glimm... - The Semantic Web-ISWC 2010, 2010 - Springer
Page 1. SPARQL beyond Subgraph Matching Birte Glimm and Markus Krötzsch Oxford
University Computing Laboratory, UK Abstract. We extend the Semantic Web query
language SPARQL by defining the semantics of SPARQL ...
Cited by 8 - Related articles - All 13 versions - Import into BibTeX
A structured semantic query interface for reasoning-based search and retrieval
[PDF] from upatras.gr
D Koutsomitropoulos, R Borillo Domenech... - The Semantic Web: ..., 2011 - Springer
... around it. Its success however will be determined by the added-value and 7
http://hermit-reasoner.com/ Page 14. 30 DA Koutsomitropoulos, R. Borillo Domenech,
and GD Solomou tangible gains it brings to the end users. To ...
Cited by 1 - Related articles - All 4 versions - Import into BibTeX
OWLlink
T Liebig, M Luther, O Noppens... - Semantic Web, 2011 - IOS Press
Page 1. Semantic Web 0 (2011) 1-10 1 DOI 10.3233/SW-2011-0027 IOS Press 1 52 2 53 3 54
4 55 5 56 6 57 7 58 8 59 9 60 10 61 11 62 12 63 13 64 14 65 15 66 16 67 17 68 18 69 19 70
20 71 21 72 22 73 23 74 24 75 25 76 26 77 27 78 28 79 29 80 30 81 31 82 32 83 33 84 ...
Cited by 2 - Related articles - All 2 versions - Import into BibTeX
Knowledge Acquisition and Processing System for Romanian Historical Documents
I Salomie, M Dinsoreanu... - Symbolic and Numeric ..., 2010 - ieeexplore.ieee.org
... Available: http://dexonline.ro/ [13] The Pellet OWL-DL Reasoner. Available: http://clarkparsia.
com/pellet/ [14] The HermiT OWL-DL Reasoner. Available: http://hermit-reasoner.com [15] SWRL:
A Semantic Web Rule Language. Available: http://www.w3.org/Submission/SWRL/ 201
Related articles - All 4 versions - Import into BibTeX
Software Reuse: MDA-Based Ontology Development to Support Data Access over Legacy Applications
HA Santoso, SC Haw... - Software Engineering and Computer ..., 2011 - Springer
... Fig. 8. Query implementation and the answer 8 http://hermit-reasoner.com hasAuthor 2000 ?
book ? author OpenBiblio:biblio ? superClass Family & Community Nursing hasYear rdf:type
isa hasDescription Page 12. Software Reuse: MDA-Based Ontology Development 141 ...
Related articles - Import into BibTeX
PervADs: pervasive, semantic and context aware advertising
[PDF] from polimi.it
L CARRARA - 2011 - politesi.polimi.it
Page 1. Politecnico di Milano Facolt`a di Ingegneria dell'Informazione Corso di Laurea in
Ingegneria Informatica Dipartimento di Elettronica e Informazione PervADs Pervasive, Semantic
and Context-Aware Advertising Relatore: Prof.ssa Letizia Tanca Correlatore: Dott. ...
Related articles - All 2 versions - Import into BibTeX
Multi-domain fault management architecture based on a shared ontology-based knowledge plane
A Castro, B Fuentes, JA Lozano... - Network and ..., 2010 - ieeexplore.ieee.org
... 2010 [18] Jena, available at http://jena.sourceforge.net/, accessed: 28 may. 2010 [19] HermiT
reasoner, http://www.hermit-reasoner.com/, accessed: 28 may. 2010 498 2010 International
Conference on Network and Service Management - CNSM 2010: Mini-Conference
Related articles - Import into BibTeX
Ontology of e-learning applications
T Ordysinski - Annales UMCS, Informatica, 2011 - Versita
... As the ontology editor the Protégé platform was chosen due to the open source ad- vantage
(no license costs). The Protégé versions were checked and verified for the task and finally
the 4.1 Alpha with compatible HermiT reasoner was chosen. ...
Import into BibTeX
Representation and monitoring of commitments and norms using OWL
[PDF] from rero.ch
N Fornara... - AI Communications, 2010 - IOS Press
... OWL has no native tem- poral operators; on some occasions it is possi- ble to bypass the problem
by using SWRL rules 1http://http://www.w3.org/TR/owl2-overview/. 2http://hermit-reasoner.com/.
3http://clarkparsia.com/pellet. 4http://www.w3.org/Submission/SWRL/. ...
Cited by 2 - Related articles - All 5 versions - Import into BibTeX
Essential Requirements for Semantic CMS
V Presutti - Semantic Technologies in Content Management ..., 2012 - Springer
... The advent of the Semantic Web and the recent growing of linking open data caused the
emergence of a number of software tools and services that allow to enrich 6 http://hermit-
reasoner.com/ Page 15. 8 Essential Requirements for Semantic CMS 105 ...
Import into BibTeX
[PDF] REASONING ALGEBRAÏCALLY WITH DESCRIPTION LOGICS
[PDF] from concordia.ca
J Faddoul - 2011 - users.encs.concordia.ca
... to handle the interaction between nominals and QCRs. In fact, the only efficient 2http://www.co-
ode.org/downloads/protege-x/ 3http://owl.man.ac.uk/factplusplus/, version 1.2 4http://pellet.owldl.
org/, version 2.0 5http://www.hermit-reasoner.com/, version 1.1 4 Page 26. ...
Related articles - View as HTML - Import into BibTeX
Interactive Ontology Revision
[PDF] from uni-ulm.de
N Niktina, S Rudolph... - ... : Science, Services and Agents on the ..., 2011 - Elsevier
Import into BibTeX
[PDF] Semantic Web Technologies in the Quest for Compatible Distributed Health Records
[PDF] from diva-portal.org
R Hedayat - 2010 - uu.diva-portal.org
Page 1. IT 10 007 Examensarbete 30 hp Mars 2010 Semantic Web Technologies in the Quest
for Compatible Distributed Health Records Roland Hedayat Institutionen för
informationsteknologi Department of Information Technology Page 2. Page 3. ...
Related articles - View as HTML - All 2 versions - Import into BibTeX
Representing chemical structures using OWL and discriptions graphs
[PDF] from unisa.ac.za
JK Hastings - 2010 - uir.unisa.ac.za
Page 1. REPRESENTING CHEMICAL STRUCTURES USING OWL AND DESCRIPTION
GRAPHS by Joanna Kathleen Hastings submitted in accordance with the requirements for
the degree of Master of Science in the subject Computer Science at the ...
Related articles - All 2 versions - Import into BibTeX
[PDF] Practical reasoning with nominals in the EL family of description logics
[PDF] from korrekt.org
Y Kazakov, M Krötzsch... - 2011 - korrekt.org
Page 1. Practical Reasoning with Nominals in the EL Family of Description Logics Yevgeny
Kazakov Institute of Artificial Intelligence Ulm University, Germany Markus Krötzsch and František
Simancík Department of Computer Science University of Oxford, UK ...
Cited by 1 - View as HTML - Import into BibTeX
[PDF] Reasoning-Supported Interactive Revision of Ontologies
[PDF] from websemanticsjournal.org
N Nikitina, S Rudolph... - ... and Agents on the ..., 2012 - test.websemanticsjournal.org
Page 1. Interactive Ontology Revision$ Nadeschda Niktinaa,*, Sebastian Rudolpha,
Birte Glimmb a Institute AIFB, Karlsruhe Institute of Technology Building 11.40,
Englerstr. 11, Karlsruhe, D-76131, Germany Tel.: +49 (721 ...
View as HTML - Import into BibTeX
[PDF] Semantic Representation and Enforcement of Electronic Contracts on Audiovisual Content
[PDF] from upc.es
VR Doncel - 2010 - people.ac.upc.es
Page 1. Semantic Representation and Enforcement of Electronic Contracts on Audiovisual
Content by Victor Rodriguez Doncel Submitted in partial fulfilment of the requirements for the
degree of Doctor of Philosophy Universitat Polit`ecnica de Catalunya ...
Related articles - View as HTML - All 3 versions - Import into BibTeX
Diagnosis of Software Models with Multiple Levels of Abstraction Using Ontological Metamodeling
[PDF] from abdn.ac.uk
N Jekjantuk, JZ Pan... - Computer Software and ..., 2011 - ieeexplore.ieee.org
... Case Expected OWL 2 OWL FA Class-based Class-based2 1 No Yes Yes2 Yes No 2 No Yes
No Yes No 3 No Yes No Yes No Table II CONSISTENCY CHECKING RESULT 1http://owl.cs.
manchester.ac.uk/explanation/ 2http://hermit-reasoner.com 572 575 242 Page 5. ...
Related articles - All 4 versions - Import into BibTeX
[HTML] Grains, components and mixtures in biomedical ontologies
[HTML] from nih.gov
L Jansen... - Journal of Biomedical Semantics, 2011 - ncbi.nlm.nih.gov
... Automated reasoning over non-trivial ontologies, however, needs a computational subset of first
order logic. We use Description Logics (DL) together with the HermiT reasoner [18], using
Manchester syntax [19] as a user-friendly compact syntax for OWL 2 ontologies. ...
Cited by 2 - Related articles - All 6 versions - Import into BibTeX
[PDF] A Classification Algorithm For ELHIfR
[PDF] from tu-dresden.de
JA Mendez... - 2011 - lat.inf.tu-dresden.de
Page 1. Technische Universität Dresden Faculty of Computer Science Institute of Theoretical
Computer Science Chair of Automata Theory A Classification Algorithm For ELHIfR+ Master's
Thesis European Master's Program in Computational Logic Author Julian Alfredo Mendez ...
Cited by 1 - Related articles - View as HTML - Import into BibTeX
[PDF] Expressing self-referential usage policies for the Semantic Web
[PDF] from kit.edu
M Krötzsch... - 2011 - people.aifb.kit.edu
Page 1. Expressing Self-Referential Usage Policies for the Semantic Web ? Technical
Report 3014 Institute AIFB, Karlsruhe Institute of Technology, DE Markus Krötzsch1
and Sebastian Speiser2 1 Department of Computer Science ...
Cited by 1 - Related articles - View as HTML - Import into BibTeX
[PDF] Acyclicity Conditions and their Application to Query Answering in Description Logics
[PDF] from ox.ac.uk
BC Grau, I Horrocks, M Krötzsch, C Kupke... - 2011 - cs.ox.ac.uk
Page 1. Acyclicity Conditions and their Application to Query Answering in Description
Logics Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke,
Despoina Magka, Boris Motik, and Zhe Wang Department ...
View as HTML - Import into BibTeX
Farm-Agro Ontology formation: A black pepper model
[PDF] from sciacademypublisher.com
F Thottupuram - ... Journal of Research and Reviews in ..., 2011 - sciacademypublisher.com
... Our farm-agro ontology model based on black pepper gives the necessary guidelines for any
researcher to create ontology of his area which will enhance the relevance of semantic web in
the world. The tools used in this model are Protégé, OntoGraf and HermiT reasoner. ...
Cited by 1 - Related articles - All 2 versions - Import into BibTeX
Farm-Agro Ontology formation: A black pepper model
[PDF] from sciacademypublisher.com
S Easwaran - ... Journal of Research and Reviews in ..., 2011 - sciacademypublisher.com
... Our farm-agro ontology model based on black pepper gives the necessary guidelines for any
researcher to create ontology of his area which will enhance the relevance of semantic web in
the world. The tools used in this model are Protégé, OntoGraf and HermiT reasoner. ...
Related articles - All 2 versions - Import into BibTeX
[PDF] A Generic Reification Strategy for n-ary Relations in DL
[PDF] from onto-med.de
N Grewe - OBML 2010 Workshop Proceedings, 2010 - onto-med.de
... The performance of the following five ontologies was compared by measuring the time the HermiT
reasoner took to classify them (measurements being made using the Unix utility 'time'): BL
Baseline profile, 60 classes with 20 individuals each added to OGMS. ...
Cited by 2 - Related articles - View as HTML - All 3 versions - Import into BibTeX
Literature mining, ontologies and information visualization for drug repurposing
C Andronis, A Sharma, V Virvilis... - Briefings in ..., 2011 - Oxford Univ Press
Skip Navigation. ...
Cited by 5 - Related articles - All 6 versions - Import into BibTeX
INTRODUÇÃO A ONTOLOGIAS E SUAS APLICAÇÕES
[PDF] from fai.com.br
LP Scatalon, RE Garcia... - Revista OMNIA Exatas, 2011 - fai.com.br
... 6 http://hermit-reasoner.com 7 http://clarkparsia.com/pellet 8 http://jena.sourceforge.net/ontology
9 http://owlapi.sourceforge.net Page 9. SCATALON; GARCIA & CORREIA Introdução a ontologias
e suas aplicações Rev. OMNIA EXATAS, v.3, n.2, 19-28, Julho/Dezembro de 2010 ...
Related articles - Import into BibTeX
Intermediate CONNECT Architecture
[PDF] from archives-ouvertes.fr
A Bennaceur, GS Blair, F Chauvel, N Georgantas... - 2011 - hal.archives-ouvertes.fr
Page 1. ICT FET IP Project Deliverable D1.2 Intermediate CONNECT Architecture
http://www.connect-forever.eu inria-00584911, version 1 - 2 May 2011 Page 2.
inria-00584911, version 1 - 2 May 2011 Page 3. Project Number ...
Related articles - All 3 versions - Import into BibTeX
Sistema informativo mobile geolocalizzato basato su architettura Android e RESTfull Web Service
[PDF] from unipd.it
A Toso - 2011 - tesi.cab.unipd.it
Page 1. TESI DI LAUREA Sistema Informativo Mobile Geolocalizzato per Supporto Mnemonico
Basato su Architettura Android e RESTful Web Service Corso di laurea specialistica in Ingegneria
Informatica Relatore: Chia.mo Prof. Mauro Migliardi Laureando: ...
Import into BibTeX
[PDF] Light-Weight and Adaptive Reasoning for Mobile Web Services
[PDF] from monash.edu.au
LA Steller - 2010 - hercules.infotech.monash.edu.au
Page 1. Light-Weight and Adaptive Reasoning for Mobile Web Services by Luke Albert Steller,
BNetComp(Honours) Thesis Submitted by Luke Albert Steller for fulfillment of the Requirements
for the Degree of Doctor of Philosophy (0190) Supervisor: Dr. Shonali Krishnaswamy ...
Cited by 2 - Related articles - View as HTML - Import into BibTeX
[PDF] Approximate Matching of Semantic Web Services
[PDF] from softplant.de
J Schönfisch... - 2010 - softplant.de
Page 1. Approximate Matching of Semantic Web Services Diploma Thesis presented by Jörg
Schönfisch Matriculation Number 1020066 submitted to the Lehrstuhl für Künstliche Intelligenz
Prof. Dr. Heiner Stuckenschmidt University Mannheim 01. November 2010 Page 2. ...
Related articles - View as HTML - Import into BibTeX
[BOOK] The Semantic Web: Research and Applications: 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29 a June 2, 2011. ...
G Antoniou, M Grobelnik, E Simperl, B Parsia... - 2011 - books.google.com
Page 1. Grigoris Antoniou Marko Grobelnik Elena Simperl Bijan Parsia Dimitris
Plexousakis Pieter De Leenheer Jeff Pan (Eds.) The Semantic Web: Research and
Applications 8th Extended Semantic Web Conference, ESWC ...
Related articles - Library Search - Import into BibTeX
Sistema di supporto mnemonico: architettura multi-layer per la gestione di data-source multipli
[PDF] from unipd.it
A Benacchio - 2011 - tesi.cab.unipd.it
Page 1. 1 UNIVERSITA' DEGLI STUDI DI PADOVA TESI DI LAUREA Sistema di supporto
mnemonico: architettura multi-layer per la gestione di data- source multipli Corso di laurea
magistrale in Ingegneria Informatica Anno accademico 2010/2011 Relatore: Prof. ...
Related articles - Import into BibTeX
Status QIO: Conjunctive query entailment is decidable
[PDF] from ox.ac.uk
B Glimm... - Proceedings of the 12th International Conference on ..., 2010 - aaai.org
Page 1. Status QIO: Conjunctive Query Entailment Is Decidable Birte Glimm Oxford
University Computing Laboratory, UK birte.glimm@comlab.ox.ac.uk Sebastian Rudolph
AIFB, Karlsruhe Institute of Technology, DE rudolph@kit.edu Abstract ...
Cited by 3 - Related articles - All 10 versions - Import into BibTeX
[PDF] Reasoning with Text Annotations
[PDF] from emcl-study.eu
S Ghimire, F Lévy... - 2011 - emcl-study.eu
... understanding the rest of the chapters. 1http://clarkparsia.com/pellet/ 2http://hermit-
reasoner.com/ 3http://owl.man.ac.uk/factplusplus/ 2 Page 10. CHAPTER 1.
INTRODUCTION 1.1 Background About a decade ago, Tim Berners ...
Related articles - View as HTML - Import into BibTeX
[PDF] Explanation-aware Case-based Reasoning
[PDF] from diva-portal.org
MB Lillehaug - 2011 - ntnu.diva-portal.org
Page 1. Master of Science in Computer Science June 2011 Anders Kofod-Petersen, IDI
Submission date: Supervisor: Norwegian University of Science and Technology Department
of Computer and Information Science Explanation-aware Case-based Reasoning ...
Cited by 1 - Related articles - View as HTML - All 2 versions - Import into BibTeX
[PDF] Ingegneria della conoscenza 2009-10
[PDF] from polimi.it
M Colombetti - 2010 - dei.polimi.it
Page 1. Dipartimento di elettronica e informazione Politecnico di Milano
Ingegneria della conoscenza 2009-10 Marco Colombetti1 7 marzo 2010 Indice
Parte I: Le logiche descrittive e il linguaggio OWL..... 3 ...
Related articles - View as HTML - All 2 versions - Import into BibTeX
A Generic Query Model for the Unified Discovery of Heterogeneous Services
M Pantazoglou... - Services Computing, IEEE ..., 2011 - ieeexplore.ieee.org
Page 1. IEEE TRANSACTIONS ON SERVICES COMPUTING, VOL. X, NO. X, MONTH
20XX 1 A Generic Query Model for the Unified Discovery of Heterogeneous Services
Michael Pantazoglou and Aphrodite Tsalgatidou Abstract ...
Related articles - All 3 versions - Import into BibTeX
Adaptation d'architectures logicielles collaboratives dans les environnements ubiquitaires. Contribution à l'interopérabilité par la sémantique
[PDF] from archives-ouvertes.fr
G Sancho - 2010 - tel.archives-ouvertes.fr
Page 1. ? ? ? ? ? 0$503"5 %& - 6/*7&34*5² %& 506-064& ? ? ? ? ?
Université Toulouse 1 Capitole (UT1 Capitole) Systèmes (EDSYS) ...
Related articles - All 2 versions - Import into BibTeX
|
