Decidability of SHIQ with complex role inclusion axioms

Ian Horrocks, Ulrike Sattler

Research output: Contribution to journal › Article › peer-review

1 results
- Title(descending)

OWL – an Ontology Language Standard with Sound Logical Underpinning
Bechhofer, S. (Participant), (Participant), Parsia, B. (Participant) & Sattler, U. (Participant)
Impact: Economic, Technological, Health and wellbeing