Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/www2011/paper/a-better-uncle-for-owl-nominal-schemas-for-integra> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- a-better-uncle-for-owl-nominal-schemas-for-integra creator adila-a-krisnadhi.
- a-better-uncle-for-owl-nominal-schemas-for-integra creator frederick-maier.
- a-better-uncle-for-owl-nominal-schemas-for-integra creator markus-kroetzsch.
- a-better-uncle-for-owl-nominal-schemas-for-integra creator pascal-hitzler.
- a-better-uncle-for-owl-nominal-schemas-for-integra type InProceedings.
- a-better-uncle-for-owl-nominal-schemas-for-integra label "A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies".
- a-better-uncle-for-owl-nominal-schemas-for-integra sameAs a-better-uncle-for-owl-nominal-schemas-for-integra.
- a-better-uncle-for-owl-nominal-schemas-for-integra abstract "We propose a description-logic style extension of OWL 2 with nominal schemas which can be used like "variable nominal classes" within axioms. This feature allows ontology languages to express arbitrary DL-safe rules (as expressible in SWRL or RIF) in their native syntax. We show that adding nominal schemas to OWL 2 does not increase the worst-case reasoning complexity, and we identify a novel tractable language SROELV_3 that is versatile enough to capture the lightweight languages OWL EL and OWL RL.".
- a-better-uncle-for-owl-nominal-schemas-for-integra hasAuthorList authorList.
- a-better-uncle-for-owl-nominal-schemas-for-integra hasTopic query-and-ontology-languages.
- a-better-uncle-for-owl-nominal-schemas-for-integra hasTopic World_Wide_Web.
- a-better-uncle-for-owl-nominal-schemas-for-integra isPartOf proceedings.
- a-better-uncle-for-owl-nominal-schemas-for-integra title "A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies".