14 search results - page 2 / 3 » Deriving axioms across ontologies |
195
Voted
IWANN
2009
Springer
16 years 1 months ago
2009
Springer
Biomedical ontologies provide a commonly accepted scheme for the characterization of biological concepts that enable knowledge sharing and integration. Updating and maintaining an ...
148
click to vote
DLOG
2004
15 years 8 months ago
2004
We show how a tableaux algorithm for SHIQ can be extended to support role boxes that include range and domain axioms, prove that the extended algorithm is still a decision procedur...
170
click to vote
SEMWEB
2004
Springer
16 years 20 hour ago
2004
Springer
As the use of Semantic Web ontologies continues to expand there is a growing need for tools that can validate ontological consistency and provide guidance in the correction of dete...
180
click to vote
SEMWEB
2007
Springer
16 years 24 days ago
2007
Springer
In this paper, we present the AgreementMaker, an ontology alignment tool that incorporates the Descendants Similarity Inheritance (DSI) method. This method uses the structure of th...
157
Voted
ER
2007
Springer
16 years 25 days ago
2007
Springer
Provability-based semantic interoperability (PBSI) is a kind of interoperability that transcends mere syntactic translation to allow for robust, meaningful information exchange acr...