Skip to content

Commit acac082

Browse files
authored
Update README.md
1 parent ef57218 commit acac082

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

README.md

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,20 +1,20 @@
11
# OWLSharp <a href="https://www.nuget.org/packages/OWLSharp"><img src="https://img.shields.io/nuget/dt/OWLSharp?style=flat&color=abcdef&logo=nuget&label=downloads"/></a> [![codecov](https://codecov.io/gh/mdesalvo/OWLSharp/graph/badge.svg?token=s7ifp1Uf6D)](https://codecov.io/gh/mdesalvo/OWLSharp)
22

3-
OWLSharp is a .NET library built atop <a href="https://github.com/mdesalvo/RDFSharp">RDFSharp</a> with the goal of delivering **semantic expressivity** for:
3+
OWLSharp is a .NET library built atop <a href="https://github.com/mdesalvo/RDFSharp">RDFSharp</a> with the goal of delivering **semantic expressivity** for ontology:
44

5-
<b>Ontology Modeling</b>
5+
<b>Modeling</b>
66
<ul>
77
<li>Create and manage <b>OWL2 ontologies</b> (classes, properties, individuals, expressions, axioms, rules, ...)</li>
88
<li>Exchange them using standard <b>OWL2 formats</b> (OWL2/XML)</li>
99
</ul>
1010

11-
<b>Ontology Reasoning</b>
11+
<b>Reasoning</b>
1212
<ul>
1313
<li>Apply logical deduction to derive knowledge that is entailed, but not stated, with <b>25 inference rules</b></li>
1414
<li>Create, exchange and execute <b>SWRL rules</b> encoding custom business logic deductions</li>
1515
</ul>
1616

17-
<b>Ontology Validation</b>
17+
<b>Validation</b>
1818
<ul>
1919
<li>Detect pitfalls, structural inconsistencies and constraint violations with <b>29 analysis rules</b></li>
2020
</ul>

0 commit comments

Comments
 (0)