Inproceedings4025: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Long Cheng (Diskussion | Beiträge) K (1 Version: Automatically imported publication data from DBLP) |
Markus Krötzsch (Diskussion | Beiträge) K (Textersetzung - „|Forschungsgruppe=Knowledge Systems“ durch „|Forschungsgruppe=Wissensbasierte Systeme“) |
||
| (8 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
{{Publikation Erster Autor | |||
|ErsterAutorVorname=Markus | |||
|ErsterAutorNachname=Krötzsch | |||
|FurtherAuthors=Frederick Maier; Adila Krisnadhi; Pascal Hitzler | |||
}} | |||
{{Inproceedings | |||
|Referiert=1 | |||
|Title=A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies | |||
|To appear=0 | |||
|Year=2011 | |||
|Month=März | |||
|Booktitle=Proc. 20th International Conference on World Wide Web (WWW'11) | |||
|Pages=645-654 | |||
|Publisher=ACM | |||
}} | |||
{{Publikation Details | |||
|Bild=Www2011.jpg | |||
|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 SROELV3(∩, x) that is versatile enough to capture the lightweight languages OWL EL and OWL RL. | |||
|ISBN=978-1-4503-0632-4 | |||
|Download=Kroetzsch-Maier-Krishnadi-Hitzler nominal-schemas WWW 2011.pdf | |||
|Link=http://dl.acm.org/citation.cfm?id=1963496 | |||
|DOI Name=10.1145/1963405.1963496 | |||
|Forschungsgruppe=Wissensbasierte Systeme | |||
|DOI=http://doi.acm.org/10.1145/1963405.1963496 | |||
}} | |||
{{Forschungsgebiet Auswahl | |||
|Forschungsgebiet=Beschreibungslogiken | |||
}} | |||
{{Forschungsgebiet Auswahl | |||
|Forschungsgebiet=Semantische Technologien | |||
}} | |||
{{Forschungsgebiet Auswahl | |||
|Forschungsgebiet=Wissensrepräsentation und logisches Schließen | |||
}} | |||
Aktuelle Version vom 24. Mai 2016, 18:02 Uhr
A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies
Markus KrötzschMarkus Krötzsch, Frederick MaierFrederick Maier, Adila KrisnadhiAdila Krisnadhi, Pascal HitzlerPascal Hitzler
Markus Krötzsch, Frederick Maier, Adila Krisnadhi, Pascal Hitzler
A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies
Proc. 20th International Conference on World Wide Web (WWW'11), 645-654, March 2011. ACM
A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies
Proc. 20th International Conference on World Wide Web (WWW'11), 645-654, March 2011. ACM
- KurzfassungAbstract
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. - Weitere Informationen unter:Further Information: Link
- Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
@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}
}
