Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/iswc2013/poster-demo-proceedings/paper-72> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- paper-72 type InProceedings.
- paper-72 label "The Benefits of Incremental Reasoning in OWL EL".
- paper-72 sameAs paper-72.
- paper-72 abstract "This demo will present the advantages of the new, bookkeeping-free method for incremental reasoning in OWL EL on incremental classification of large ontologies. In particular, we will show how a typical experience of a user editing a large ontology can be improved if the reasoner (or ontology IDE) provides the capability of instantaneously re-classifying the ontology in the background mode when a change is made. In addition, we intend to demonstrate how incremental reasoning helps in other tasks such as answering DL queries and computing explanations of entailments. We will use our OWL EL reasoner ELK and its Protege plug-in as the main tools to highlight these benefits.".
- paper-72 hasAuthorList authorList.
- paper-72 isPartOf poster-demo-proceedings.
- paper-72 title "The Benefits of Incremental Reasoning in OWL EL".