Ontology Materialization by Abstraction Refinement in Horn SHOIF

To ensure completeness Description Logics (DLs) are popular languages for knowledge of the method, the so-called refinement step is used that recomputes representation and reasoning. They are the underlying the abstraction based on new (sound) entailments formalism for the standardized Web Ontology Language obtained from a previous abstraction. This has the added OWL, which is widely used in many application areas. Recent benefit that not only consistency but also the full materialization years have also seen an increasing interest in ontologybased of the ABox can be computed without (rather expensive) data access, where a TBox with background knowledge, explanation computations or repeated consistency often expressed in a DL language, is used to enrich checks. This paper significantly advances the abstraction refinement datasets (ABoxes), which are then accessible via queries.