Abstract | ||
---|---|---|
We present a new version of the CEX versioning tool for ontologies. CEX detects logical differences between acyclic terminologies in the lightweight description logic $\mathcal{EL}$ with role inclusions and domain and range restrictions. Depending on the application, CEX outputs differences between terminologies that capture derived concept inclusions, answers to instance queries, and answers to conjunctive queries. Experiments with versions of the NCI ontology are conducted to evaluate the performance of CEX and compare the three types of differences. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-31365-3_29 | IJCAR |
Keywords | Field | DocType |
range restriction,acyclic terminology,cex outputs difference,new version,instance query,concept inclusion,logical difference computation,lightweight description logic,cex versioning tool,logical difference,nci ontology,description logics | Ontology (information science),Ontology,Conjunctive query,Information retrieval,Computer science,Description logic,Algorithm,Software versioning,Computation | Conference |
Citations | PageRank | References |
5 | 0.45 | 13 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Boris Konev | 1 | 569 | 42.08 |
Michel Ludwig | 2 | 113 | 7.67 |
Frank Wolter | 3 | 4454 | 266.99 |