Loading...
Please wait, while we are loading the content...
Similar Documents
Prime numbers considered useful: ontology encoding for efficient subsumption testing
| Content Provider | Semantic Scholar |
|---|---|
| Author | Preuveneers, Davy Berbers, Yolande |
| Copyright Year | 2006 |
| Abstract | Multiple inheritance hierarchies are frequently used for the classification of concepts into a taxonomy, to model software by organizing classes into an inheritance hierarchy, for querying object-oriented databases, for knowledge representation, policy enforcement, and subtyping of service interfaces for safe composition and substitution. All these areas apply hierarchies and share the same concern of being able to compute inheritance or subsumption relationships efficiently. In this report, we elaborate on encoding multiple inheritance hierarchies for representing subsumption relationships between concepts defined in ontologies to enable efficient matching mechanisms for context-aware service discovery, composition and substitution, and other application domains. We present several encoding techniques originating from the programming languages domain for the subtyping of classes in multiple inheritance hierarchies and argue why these encoding techniques are not feasible for achieving efficient subsumption testing in ontologies. We developed a prime-based encoding technique for subsumption of concepts and properties that outperforms several well-known ontology reasoners for this particular problem, both in terms of having a compact representation of the encoding and being able to compute the subsumption relationship efficiently. Our algorithm also offers an interesting alternative for the class subtyping encoding techniques, as it yields a new way of compaction without the need for changing old conflicting codes during incremental encoding. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW464.pdf |
| Alternate Webpage(s) | http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW464.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |