Computing Horn Rewritings of Description Logics Ontologies

Add code
Apr 21, 2015
Figure 1 for Computing Horn Rewritings of Description Logics Ontologies
Figure 2 for Computing Horn Rewritings of Description Logics Ontologies
Figure 3 for Computing Horn Rewritings of Description Logics Ontologies

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: