Reasoning over RDF data
RDF Schema
Discussion of RDFS, focusing on how classes and properties allow one to make inferences about resources. Covers axiomatic triples and inferencing from subproperties. Also discusses [...]
An Introduction to OWL
This video lecture starts with an overview of the requirements for defining and using ontologies on the Web. It then outlines the main concepts and [...]
Ontologies and the Semantic Web
This site introduces ontologies and the Semantic Web, with an emphasis on how ontologies are defined and used for applications. There are about about thirty [...]
Learning from the Masters: Understanding Ontologies found on the Web (Part 1)
The purpose of this presentation was to help conference attendees gain sufficient experience of working with OWL and tools (e.g., the Swoop ontology editor/browser) to [...]
Real-time RDF Extraction from Unstructured Data Streams
Most of the Web of Data is limited to a large compendium of encyclopedic knowledge describing entities. The timely and massive extraction of RDF facts [...]
RDF and Logic: Reasoning and Extension
This paper explores embedding the various kinds of RDF entailment in F-Logic. It shows that the embedding of simple, RDF, and RDFS entailment, as well [...]
Expressive Languages for Querying the Semantic Web
SPARQL 1.1 was recently released, which includes entailment regimes for RDFS and OWL vocabularies and a mechanism to express navigation patterns through regular expressions. Unfortunately, [...]
Answering Queries Over OWL Ontologies with SPARQL
This slide presentation discusses the various types of RDF Schema and OWL entailment regimes defined by SPARQL 1.1. It highlights where limitations and restrictions exist [...]
RDF Database Systems: Triples Storage and SPARQL Query Processing
Available in print or EBook, this resource professes to "distill everything you need to know to effectively use or design an RDF database". This book [...]
IRIS RDFS Reasoner
The RDFS Reasoner is a framework that enables reasoning over RDF Schema ontologies and that uses IRIS as underlying reasoning engine. The RDFS Reasoner implementation [...]