Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Semantically Guided Evolution of SHI ABoxes

Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 2013 S. 23

Erscheinungsjahr: 2013

ISBN/ISSN: 1864-0850

Publikationstyp: Diverses (Forschungsbericht)

Sprache: Englisch

Website
Geprüft:Bibliothek

Inhaltszusammenfassung


  • ABox
  • E-KRHyper theorem prover
  • TBox

Autoren


Furbach, Ulrich (Autor)
Schon, Claudia (Autor)