IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
A proposal for an owl rules language
Proceedings of the 13th international conference on World Wide Web
Web ontology segmentation: analysis, classification and use
Proceedings of the 15th international conference on World Wide Web
Decidability of SHIQ with complex role inclusion axioms
Artificial Intelligence
OWL rules: A proposal and prototype implementation
Web Semantics: Science, Services and Agents on the World Wide Web
Structured objects in owl: representation and reasoning
Proceedings of the 17th international conference on World Wide Web
Web Ontology Segmentation: Extraction, Transformation, Evaluation
Modular Ontologies
Ontology RepresentationDesign Patterns and Ontologies that Make Sense
Proceedings of the 2009 conference on Ontology Representation: Design Patterns and Ontologies that Make Sense
A role and attribute based access control system using semantic web technologies
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
SAT encoding of unification in ELHR+ w.r.t. cycle-restricted ontologies
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Hi-index | 0.00 |
Transitive propagation along properties can be modelled in various ways in the OWL description logic. Doing so allows existing description logic reasoners based on the tableaux algorithm to make inferences based on such transitive constructs. This is espectially useful for medical knowledge bases, where such constructs are common. This paper compares, contrasts and evaluates a variety of different methods for simulating transitive propagation: property subsumption, classic SEP triples and adapted SEP triples. These modelling techniques remove the need to extending the OWL language with additional operators in order to express the transitive propagation. Other approaches require an extended tableaux reasoner or first-order logic prover, as well as a modification of the OWL standard. The adapted SEP triples methodology is ultimately recommended as the most reliable modelling technique.