Semantisches Browsen
Aus International Center for Computational Logic
We propose a description-logic style exten … 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 SROELV3(∩, x) that is versatile enough to capture the lightweight languages OWL EL and OWL RL.e lightweight languages OWL EL and OWL RL. +
@inproceedings{KMKH2011,
author = {Markus Kr{\"{o}}tzsch and Frederick Maier and Adila Krisnadhi and
Pascal Hitzler},
title = {A Better Uncle for {OWL:} Nominal Schemas for Integrating Rules
and Ontologies},
booktitle = {Proc. 20th International Conference on World Wide Web (WWW'11)},
publisher = {ACM},
year = {2011},
month = {March},
pages = {645-654},
doi = {10.1145/1963405.1963496}
}
author = {Markus Kr{\"{o}}tzsch and Frederick Maier and Adila Krisnadhi and
Pascal Hitzler},
title = {A Better Uncle for {OWL:} Nominal Schemas for Integrating Rules
and Ontologies},
booktitle = {Proc. 20th International Conference on World Wide Web (WWW'11)},
publisher = {ACM},
year = {2011},
month = {March},
pages = {645-654},
doi = {10.1145/1963405.1963496}
}
Krötzsch +
Markus +
Markus Krötzsch, Frederick Maier, Adila Kr … Markus Krötzsch, Frederick Maier, Adila Krisnadhi, Pascal Hitzler<br/> '''[[Inproceedings4025|<b>A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies</b>]]''' <br/>__NOTOC__<i>Proc. 20th International Conference on World Wide Web (WWW'11)</i>, 645-654, March 2011. ACM<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings4025|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:Kroetzsch-Maier-Krishnadi-Hitzler nominal-schemas WWW 2011.pdf|Download]]Kroetzsch-Maier-Krishnadi-Hitzler nominal-schemas WWW 2011.pdf|Download]] +
Markus Krötzsch, Frederick Maier, Adila Kr … Markus Krötzsch, Frederick Maier, Adila Krisnadhi, Pascal Hitzler<br/> '''[[Inproceedings4025/en|<b>A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies</b>]]''' <br/>__NOTOC__<i>Proc. 20th International Conference on World Wide Web (WWW'11)</i>, 645-654, March 2011. ACM<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings4025|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:Kroetzsch-Maier-Krishnadi-Hitzler nominal-schemas WWW 2011.pdf|Download]]Kroetzsch-Maier-Krishnadi-Hitzler nominal-schemas WWW 2011.pdf|Download]] +
Display title of"Display title of" is a predefined property that can assign a distinct display title to an entity and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies +
Modification date"Zuletzt geändert <span style="font-size:small;">(Modification date)</span>" is a predefined property that corresponds to the date of the last modification of a subject and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
24. Mai 2016, 16:02:22 +
Has query"Hat Abfrage <span style="font-size:small;">(Has query)</span>" is a predefined property that represents meta information (in form of a <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">subobject</a>) about individual queries and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies +, A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies +, A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies +, A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies +, A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies +, A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies +, A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies + and A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies +
