Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving

Add code
Jul 31, 2011
Figure 1 for Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving
Figure 2 for Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving
Figure 3 for Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving
Figure 4 for Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: