University of Aberdeen logo

AURA - Aberdeen University Research Archive

 

Computing Science (Department)

Permanent URI for this communityhttps://hdl.handle.net/2164/673

Browse

Author: search.filters.author.Ren, Yuan

Search Results

Now showing 1 - 3 of 3
  • Thumbnail Image
    Item
    Reasoning the FMA ontologies with TrOWL
    (CEUR-WS, 2013-08-15) Pan, Jeff Z.; Ren, Yuan; Jekjantuk, Nophadol; Garcia, Jhonatan; Bail, Samantha; Glimm, Birte; Gonçalves, Rafael; Jiménez-Ruiz, Ernesto; Kazakov, Yevgeny; Matentzoglu, Nicolas; Parsia, Bijan; University of Aberdeen.Computing Science; University of Aberdeen.Natural & Computing Sciences
  • Thumbnail Image
    Item
    Tractable approximate deduction for OWL
    (2016-06) Pan, Jeff Z.; Ren, Yuan; Zhao, Yuting; University of Aberdeen.Computing Science
  • Thumbnail Image
    Item
    Selecting Ontology Entailments for Presentation to Users
    (2014) Parvizi, Artemis; Mellish, Christopher Stuart; van Deemter, Kees; Ren, Yuan; Pan, Jeff Z; University of Aberdeen.Computing Science