https://publications-cnrc.canada.ca/fra/voir/objet/?id=2a0b97fc-a741-4519-976a-b2cf31c99fb7
Proceedings of the 1st International Workshop on OWL Reasoner Evaluation Workshop (ORE 2012) in conjunction with 6th International Joint Conference on Automated Reasoning (IJCAR 2012), 25 juin 2012, Volume : 858
In the ontology classification task, consequence-based reasoners are typically significantly faster while tableau-based reasoners can process more expressive...
Article de périodique (revue)
Texte intégral en ligne