table of Contents
Ontology reasoning
owl body language:
- Most standard (the W3C), the most stringent (logical description), the strongest expression (first-order predicate logic may determine a subset of) the language knowledge graph
- Based on RDF syntax, so that out of the document with semantic understanding of the structural basis
- Promote the use of uniform glossary, the definition of a rich semantic vocabulary
- Allow logical reasoning
Syntax: RDF grammar, i.e. SOP triple
description logic: is a first order predicate logic may determine a subset of basic components
- The most basic elements: concepts, relationships and individual
- TBox glossary (axioms concept terms)
- ABox assertions (assertions collection of individuals) set
- Reasoning on the TBox and ABox
Reasoning methods and tools
Practice: Jena
