Skip to content

Commit a416a24

Browse files
committed
Merge remote-tracking branch 'origin/main'
2 parents c30ba0a + 5ec2a6b commit a416a24

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

README.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
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 ontology:
3+
OWLSharp is a .NET library built atop <a href="https://github.com/mdesalvo/RDFSharp">RDFSharp</a> with the goal of delivering **expressivity** for ontology:
44

55
<b>Modeling</b>
66
<ul>
@@ -11,7 +11,7 @@ OWLSharp is a .NET library built atop <a href="https://github.com/mdesalvo/RDFSh
1111
<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>
14-
<li>Create, exchange and execute <b>SWRL rules</b> encoding custom business logic deductions</li>
14+
<li>Create, exchange and execute <b>SWRL rules</b> encoding domain-specific logic deductions</li>
1515
</ul>
1616

1717
<b>Validation</b>

0 commit comments

Comments
 (0)