Developing a Distributed Reasoner for the Semantic Web Raghava Mutharaju, Prabhaker Mateti, and Pascal Hitzler Wright State University, OH, USA. {mutharaju.2, prabhaker.mateti, pascal.hitzler}@wright.edu

Source URL: ceur-ws.org

Mini-ME matchmaker and reasoner for the Semantic Web of Things Floriano Scioscia, Michele Ruta, Giuseppe Loseto, Filippo Gramegna, Saverio Ieva, Agnese Pinto, Eugenio Di Sciascio Polytechnic University of Bari, Italy {fl

Source URL: sisinflab.poliba.it

Description Logics: OWL and DAML+OIL Phillip Lord, Robert D. Stevens, Carole A. Goble, and Ian Horrocks Department of Computer Science University of Manchester, Oxford Road, Manchester

Source URL: homepages.cs.ncl.ac.uk

• Knowledge representation
• Knowledge engineering
• Ontology
• Information science
• Semantic Web
• Computing
• Knowledge
• Web Ontology Language
• Description logic
• Semantic reasoner
• Class
• Gene ontology

User-­‐Focused  Tools   Layer   Biomedical   Ontologies   Domain  

Source URL: james.overton.ca

• Semantic Web
• Computing
• World Wide Web Consortium
• Information science
• Knowledge representation
• Resource Description Framework
• Knowledge engineering
• Ontology
• Web Ontology Language
• Semantic reasoner
• SPARQL
• Jena

Ontology-based framework for policy-driven governance in cloud application platforms Dimitrios Kourtesis1,2, Iraklis Paraskakis1, Anthony J.H. Simons2 1 South-East European Research Centre (SEERC), International Faculty

Source URL: www.kr-med.org

• Semantic Web
• Knowledge representation
• Information science
• Computing
• Knowledge engineering
• Ontology
• Knowledge
• Web Ontology Language
• Semantic reasoner
• Cloud computing
• Governance
• Unique name assumption

Automated Benchmarking of Description Logic Reasoners T. Gardiner I. Horrocks

Source URL: www.cs.man.ac.uk

• Ontology
• Semantic Web
• Knowledge engineering
• Information science
• Knowledge
• Computing
• Knowledge representation
• Semantic reasoner
• Web Ontology Language
• Description logic
• Open Biomedical Ontologies
• Owl

Optimising Ontology Classification Birte Glimm, Ian Horrocks, Boris Motik, and Giorgos Stoilos Oxford University Computing Laboratory, UK Abstract. Ontology classification—the computation of subsumption hierarchies for

Source URL: www.hermit-reasoner.com

• Information science
• Semantic Web
• Computing
• Information
• Cognitive science
• Resource Description Framework
• Web Ontology Language
• Knowledge representation
• Description logic
• Algorithm
• Ontology

Supporting Rule Generation and Validation on Environmental Data in EnStreaM Alexandra Moraru1,3, Klemen Kenda1, Blaž Fortuna1, Luka Bradeško1, Maja Škrjanc1, Dunja Mladenić1,3, Carolina Fortuna2 1

Source URL: 2012.eswc-conferences.org

• Semantic Web
• Ontology
• Computing
• Information science
• Knowledge representation
• Artificial intelligence
• Knowledge engineering
• Technical communication
• Cyc
• Semantic reasoner
• RuleML
• Web Ontology Language

AAAI Proceedings Template

Source URL: www.cogsys.org

• Logic
• Reasoning
• Ontology
• Rules of inference
• Automated theorem proving
• Resolution
• Cyc
• Inference
• Semantic reasoner
• First-order logic
• Decision tree model
• CARINE

On Synergies between Model Transformations and Semantic Web Technologies Robert Bill1 , Simon Steyskal1,2 , Manuel Wimmer1 , and Gerti Kappel1 1 2

Source URL: ceur-ws.org

• Computing
• Semantic Web
• World Wide Web Consortium
• Web standards
• Knowledge engineering
• Knowledge representation
• Resource Description Framework
• Web services
• SPARQL
• Ontology
• Semantic reasoner
• Web Ontology Language