Inproceedings3116: Unterschied zwischen den Versionen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Maximilian Marx (Diskussion | Beiträge)
K (Fix braces in bibtex)
Maximilian Marx (Diskussion | Beiträge)
Keine Bearbeitungszusammenfassung
 
Zeile 19: Zeile 19:
|Download=David Carral OWLED 2012.pdf
|Download=David Carral OWLED 2012.pdf
|Forschungsgruppe=Wissensbasierte Systeme
|Forschungsgruppe=Wissensbasierte Systeme
|BibTex=@inproceedings{DBLP:conf/owled/MartinezKH12,
  author    = {David Carral Mart{\'{\i} }nez and
              Adila Alfa Krisnadhi and
              Pascal Hitzler},
  title    = {Integrating {OWL} and Rules: {A} Syntax Proposal for Nominal Schemas},
  booktitle = {Proceedings of {OWL:} Experiences and Directions Workshop 2012, Heraklion,
              Crete, Greece, May 27-28, 2012},
  year      = {2012},
  crossref  = {DBLP:conf/owled/2012},
  url      = {http://ceur-ws.org/Vol-849/paper_6.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/owled/MartinezKH12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/owled/2012,
  editor    = {Pavel Klinov and
              Matthew Horridge},
  title    = {Proceedings of {OWL:} Experiences and Directions Workshop 2012, Heraklion,
              Crete, Greece, May 27-28, 2012},
  series    = { {CEUR} Workshop Proceedings},
  volume    = {849},
  publisher = {CEUR-WS.org},
  year      = {2012},
  url      = {http://ceur-ws.org/Vol-849},
  urn      = {urn:nbn:de:0074-849-5},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/owled/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
}}
}}

Aktuelle Version vom 22. März 2018, 11:31 Uhr

Toggle side column

Integrating OWL and Rules: A Syntax Proposal for Nominal Schemas

David CarralDavid Carral,  Adila KrisnadhiAdila Krisnadhi,  Pascal HitzlerPascal Hitzler
David Carral, Adila Krisnadhi, Pascal Hitzler
Integrating OWL and Rules: A Syntax Proposal for Nominal Schemas
In Pavel Klinov, Matthew Horridge, eds., Experiences and Directions Workshop 2012, OWLED 2012, Heraklion, Crete, Greece. Proceedings, volume 849, May 2012. CEUR-WS.org
  • KurzfassungAbstract
    This paper proposes an addition to OWL 2 syntax to incorporate nominal schemas, which is a new description-logic style extension of OWL 2 which was recently proposed, and which makes is possible to express “variable nominal classes” within axioms in an OWL 2 ontology. Nominal schemas make it possible to express DL-safe rules of arbitrary arity within the extended OWL paradigm, hence covering the well-known DL-safe SWRL language. To express this feature, we extend OWL 2 syntax to include necessary and minimal modifications to both Functional and Manchester syntax grammars and mappings from these two syntaxes to Turtle/RDF. We also include several examples to clarify the proposal.
  • Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
@inproceedings{CKH2012,
  author    = {David Carral and Adila Krisnadhi and Pascal Hitzler},
  title     = {Integrating {OWL} and Rules: A Syntax Proposal for Nominal
               Schemas},
  editor    = {Pavel Klinov and Matthew Horridge},
  booktitle = {Experiences and Directions Workshop 2012, {OWLED} 2012,
               Heraklion, Crete, Greece. Proceedings},
  volume    = {849},
  publisher = {CEUR-WS.org},
  year      = {2012},
  month     = {May}
}