Towards a Global Scale Semantic Web Zhengxiang Pan Department of Computer Science and Engineering, Lehigh University 19 Memorial Dr. West, Bethlehem, PA 18015, U.S.A.

Source URL: iswc2006.semanticweb.org

• Semantic Web
• Computing
• Information science
• Knowledge engineering
• Information
• Knowledge representation
• Ontology
• Semantic reasoner
• Web Ontology Language
• Description logic
• Resource Description Framework
• Swoogle

Evaluating DBOWL: A Non-materializing OWL Reasoner based on Relational Database Technology Maria del Mar Roldan-Garcia, Jose F. Aldana-Montes University of Malaga, Departamento de Lenguajes y Ciencias de la Computacion M

Source URL: ceur-ws.org

Introduction: what’s what and what’s an ontology Loading, modifying, saving, checking an ontology Queries Outside the core OWL API: extra modules Applications using the OWL API

Source URL: webont.org

• Semantic Web
• Knowledge representation
• Computing
• Information science
• Knowledge engineering
• Information
• Technical communication
• Web Ontology Language
• Ontology
• Description logic
• Semantic reasoner
• Class

Configuration of Smart Environments Made Simple Combining Visual Modeling with Semantic Metadata and Reasoning Simon Mayer∗ , Nadine Inhelder∗ , Ruben Verborgh† , Rik Van de Walle† , and Friedemann Mattern∗ ∗

Source URL: www.vs.inf.ethz.ch

• Semantic Web
• Knowledge engineering
• Knowledge representation
• Web services
• Emerging technologies
• Mashup
• Internet of things
• Ambient intelligence
• Smart environment
• Smart thermostat
• Smart device
• Semantic reasoner

Knowing Minimum/Maximum n Formulae 1 and Natasha Alechina 2 ˚ Thomas Agotnes Abstract. We introduce a logical language with nullary operators min(n), for each non-negative integer n, which mean ‘the reasoner has at l

Source URL: folk.uib.no

• Logic
• Mathematical logic
• Abstraction
• Model theory
• Formal languages
• Logical truth
• Metalogic
• First-order logic
• Interpretation
• Substitution
• Well-formed formula
• Satisfiability

Microsoft PowerPoint - 3-Matheus-OWLED2011.pptx

Source URL: webont.org

• Semantic Web
• Computing
• World Wide Web Consortium
• Information science
• FOAF
• SPARQL
• Ontology
• Web Ontology Language
• Alcatel-Lucent
• Semantic reasoner

Predicting SPARQL Query Performance and Explaining Linked Data? Rakebul Hasan INRIA Sophia Antipolis, Wimmics, 2004 route des Lucioles - B.P. 93, 06902 Sophia-Antipolis Cedex, France,

Source URL: 2014.eswc-conferences.org

• Computing
• Data management
• Semantic Web
• Data
• Triplestore
• SPARQL
• Named graph
• RDF Schema
• Resource Description Framework
• Semantic reasoner
• Query optimization
• RDF query language

Package-based Description Logics - Preliminary Results Jie Bao1 , Doina Caragea2 , Vasant G Honavar1 1 Artificial Intelligence Research Laboratory, Department of Computer Science,

Source URL: iswc2006.semanticweb.org

• Knowledge engineering
• Semantic Web
• Knowledge representation
• Ontology
• Knowledge
• Cognitive science
• Information science
• Web Ontology Language
• Description logic
• Semantic reasoner
• Frame language
• Vasant Honavar

Introduction: what’s what and what’s an ontology Loading, modifying, saving, checking an ontology Queries Outside the core OWL API: extra modules Applications using the OWL API

Source URL: owlapi.sourceforge.net

• Semantic Web
• Knowledge representation
• Computing
• Knowledge engineering
• Information science
• Knowledge
• Technical communication
• Web Ontology Language
• Ontology
• Description logic
• Semantic reasoner
• Class

Towards LarKC: a Platform for Web-scale Reasoning Dieter Fensel (University of Innsbruck) Frank van Harmelen (Vrije Universiteit Amsterdam) Bo Andersson (Astrazeneca AB) Paul Brennan (International Agency for Research on

Source URL: www.cyc.com

• Semantic Web
• Knowledge engineering
• Knowledge representation
• Reasoning
• Artificial intelligence
• Semantic reasoner
• Frank van Harmelen
• Reasoning system
• Web Ontology Language
• Datalog
• Inference
• Ontology