Update ProjectHome.md and README.md

julianmendez · Dec 13, 2019 · a5da01e · a5da01e
1 parent 8e4ef15
commit a5da01e
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/ProjectHome.md b/ProjectHome.md
@@ -9,5 +9,5 @@ Javadoc for **OntoComPlib** can be accessed
 
 ---
 
+`[1]` F. Baader, B. Ganter, U. Sattler, and B. Sertkaya.  [Completing Description Logic Knowledge Bases using Formal Concept Analysis](https://lat.inf.tu-dresden.de/research/papers/2007/BGSS-IJCAI07.pdf). In  Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07). AAAI Press, 2007.
 
-`[1]` F. Baader, B. Ganter, U. Sattler, and B. Sertkaya.  [Completing Description Logic Knowledge Bases using Formal Concept Analysis](https://lat.inf.tu-dresden.de/research/papers/2007/BGSS-IJCAI07.pdf). In  Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07). AAAI Press, 2007.
diff --git a/README.md b/README.md
@@ -5,7 +5,6 @@
 [![build](https://travis-ci.org/julianmendez/ontocomplib.png?branch=master)](https://travis-ci.org/julianmendez/ontocomplib)
 [![license](https://img.shields.io/badge/license-LGPL%203.0-blue.svg)](https://www.gnu.org/licenses/lgpl-3.0.txt)
 
-
 **OntoComPlib** is a library for completing OWL ontologies. It is mainly developed for the ontology completion tool OntoComP, which is a plugin for the [Protégé 4](https://protege.stanford.edu/) ontology editor. **OntoComPlib** is an extension of the Formal Concept Analysis (FCA) library FCAlib. It implements the ontology completion algorithm presented in [1]. It communicates with the reasoner over the [OWL API](https://owlcs.github.io/owlapi/).