HermiT Reasoner


HermiT Reasoner {related:}

See also:

Case-based Reasoning & Dialog Systems | DECReasoner | Deep Reasoning Systems | Graph-Based Knowledge Representation and Reasoning | IRIS Reasoner | Knowledge Representation and Reasoning | Metaphor-based Reasoning | RADAR (Reflective Agents with Distributed Adaptive Reasoning) | Semantic Web Reasoning 


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

[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

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

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

[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

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

[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

DeLorean: A reasoner for fuzzy OWL 2 F Bobillo, M Delgado… – Expert Systems with …, 2011 – Elsevier Related articles – All 2 versions

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

[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

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

[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

[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

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

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

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

[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

[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

[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

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

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

[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

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

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

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

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) . …

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

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. …

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

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

[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

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 …

[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

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

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

[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

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

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

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

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 …

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)

[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

[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

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

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

[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

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

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

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 …

[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

[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

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

[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

[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

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

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/

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

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

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

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

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

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

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

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

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. …

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

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 …

[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

Interactive Ontology Revision [PDF] from uni-ulm.de N Niktina, S Rudolph… – … : Science, Services and Agents on the …, 2011 – Elsevier

[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

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

[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

[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

[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

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

[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

[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

[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

[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

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

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

[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

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

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

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

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: …

[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

[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

[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

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

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

[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

[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

[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

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

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