Skip to content
Permalink
Browse files
Fix section headers
  • Loading branch information
afs committed May 8, 2021
1 parent 65bf04b commit 1bda528810fda6050f50b821322488d961f91c7c
Showing 1 changed file with 2 additions and 2 deletions.
@@ -571,7 +571,7 @@ slug: index
.addProperty(ReasonerVocabulary.PROPsetRDFSLevel, "simple");
Reasoner reasoner = RDFSRuleReasonerFactory.theInstance()Create(config);

####Summary of parameters
#### Summary of parameters
<table width="90%" border="1" cellspacing="0" cellpadding="0">
<tr>
<td width="22%"><b>Parameter</b></td>
@@ -1209,7 +1209,7 @@ class B = cardinality(P,1)</pre>
of rule use and a substantial slow down - the OWL axioms that the reasoner can
handle are already built in and don't need to be redeclared.</p>

####Incompleteness
#### Incompleteness
<p>The rule based approach cannot offer a complete solution for OWL/Lite, let
alone the OWL/Full fragment corresponding to the OWL/Lite constructs. In addition
the current implementation is still under development and may well have omissions

0 comments on commit 1bda528

Please sign in to comment.