SIOC Post profile for "AI3:::Adaptive Information"
type: Document
description: A SIOC profile describes the structure and contents of a weblog in a machine readable form. For more information please refer to http://sioc-project.org/.
primary topic: CWPK #26: Introduction to Knowledge Graph Reasoners
generator agent: http://rdfs.org/sioc/wp-sioc.php

CWPK #26: Introduction to Knowledge Graph Reasoners
type: Post
has container: weblog
has creator: Mike Bergman
maker: Mike Bergman
created: 2020-08-31T16:01:29Z
content: Two Standards Come Pre-packaged with Owlready2 We introduce OWL (knowledge graph) reasoners in this installment of the Cooking with Python and KBpedia series. A reasoner has two purposes. First, based on deductive reasoning, a reasoner can infer new class and property assignments that are logically entailed by the assertions in an ontology (that is, from its axioms) but not otherwise explicitly stated. Once inferred, these additional assignments can be written to an inferred version of the ontology for faster lookups and analysis. Second, reasoners can evaluate the stated axioms to determine if the ontology is consistent or satisfiable. This second purpose is a key step when building or modifying a knowledge graph to ensure that illogical assertions are not introduced into the system. Reasoners thus often have explanation routines that point out where the inconsistencies or problems occur, thus helping the analyst to fix the errors before committing to productive use. In later installments we will focus especially on these coherency tests when we discuss the build procedures for KBpedia. Consistency is when none of the assertions (axioms) in the knowledge graph contradicts another one. If there is a contradiction the graph is termed to be inconsistent. Satisfiability individually evaluates the classes in the graph and checks to see if they can have instances without contradicting other asserted axioms. Unsatisfiability indicates there is a conflicting or missing assignment that needs to be corrected. It is a particularly useful check when there are disjoint assertions made between classes, one of the design pillars of KBpedia. Owlready2 is distributed with two OWL reasoners: HermiT, developed by the department of Computer Science of the University of Oxford, and Pellet, a reasoner developed specifically to support the OWL language. Both HermiT and Pellet are written in Java, so require access to a JVM on your system. If you have difficulty running these systems it i…
encoded: Two Standards Come Pre-packaged with Owlready2 We introduce OWL (knowledge graph) reasoners in this installment of the Cooking with Python and KBpedia series. A reasoner has two purposes. First, based on deductive reasoning, a reasoner can infer new class and property assignments that are logically entailed by the assertions in an ontology (that is, from its axioms) but not otherwise explicitly stated. Once inferred, these additional assignments can be written to an inferred version of the ontology for faster lookups and analysis. Second, reasoners can evaluate the stated axioms to determine if the ontology is consistent or satisfiable. This second purpose is a key step when building or modifying a knowledge graph to ensure that illogical assertions are not introduced into the system. Reasoners thus often have explanation routines that point out where the inconsistencies or problems occur, thus helping the analyst to fix the errors before committing to productive use. In later installments we will focus especially on these coherency tests when we discuss the build procedures for KBpedia. Consistency is when none of the assertions (axioms) in the knowledge graph contradicts another one. If there is a contradiction the graph is termed to be inconsistent. Satisfiability individually evaluates the classes in the graph and checks to see if they can have instances without contradicting other asserted axioms. Unsatisfiability indicates there is a conflicting or missing assignment that needs to be corrected. It is a particularly useful check when there are disjoint assertions made between classes, one of the design pillars of KBpedia. Owlready2 is distributed with two OWL reasoners: HermiT, developed by the department of Computer Science of the University of Oxford, and Pellet, a reasoner developed specifically to support the OWL language. Both HermiT and Pellet are written in Java, so require access to a JVM on your system. If you have difficulty running these systems it i…
topic: CWPK
topic: KBpedia
topic: Semantic Web Tools
has reply: comment-507860
links to: OWL
links to: reasoners
links to: Cooking with Python and KBpedia
links to: axioms
links to: consistent
links to: satisfiable
links to: Owlready2
links to: HermiT
links to: Pellet
links to: owlready2 documentation
links to: cb1-1
links to: cb1-2
links to: cb1-3
links to: cb1-4
links to: cb1-5
links to: cb1-6
links to: cb1-7
links to: cb1-8
links to: cb1-9
links to: cb1-10
links to: cb1-11
links to: cb1-12
links to: cb1-13
links to: cb1-14
links to: cb1-15
links to: cb1-16
links to: cb1-17
links to: cb1-18
links to: cb1-19
links to: cb1-20
links to: cb1-21
links to: cb1-22
links to: cb1-23
links to: cb1-24
links to: cb1-25
links to: cb1-26
links to: cb1-27
links to: cb1-28
links to: cb1-29
links to: cb1-30
links to: cb1-31
links to: cb1-32
links to: cb1-33
links to: cb1-34
links to: cb1-35
links to: cb1-36
links to: cb1-37
links to: cb2-1
links to: cb4-1
links to: cb6-1
links to: cb8-1
links to: cb10-1
links to: cb12-1
links to: cb14-1
links to: cb14-2
links to: cb15-1
links to: cb15-2
links to: cb15-3
links to: cb15-4
links to: cb15-5
links to: cb15-6
links to: cb15-7
links to: cb15-8
links to: cb15-9
links to: cb15-10
links to: cb15-11
links to: cb15-12
links to: cb15-13

Mike Bergman
type: User

Mike Bergman
type: Person

Cooking with Python and KBpedia
label: CWPK listing

owlready2 documentation
label: Reasoners

SWRL

SWRL

Python + OWL

KBpedia

direct download

notify me