Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor

Franz Baader; Thanh Binh Nguyen; Stefan Borgwardt; Barbara Morawska

doi:10.1215/00294527-3555507

Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor

Franz Baader
, Thanh Binh Nguyen
, Stefan Borgwardt
, Barbara Morawska

Institute of Networks and Security

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	443-476
Number of pages	33
Journal	Notre Dame Journal of Formal Logic
Volume	57
Issue number	4
DOIs	https://doi.org/10.1215/00294527-3555507
Publication status	Published - 2016

Fields of science

102 Computer Sciences
102016 IT security

JKU Focus areas

Engineering and Natural Sciences (in general)

Access to Document

10.1215/00294527-3555507

Cite this

@article{fc8b77618a694d5da2dabd69360dfddf,

title = "Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor",

author = "Franz Baader and Nguyen, \{Thanh Binh\} and Stefan Borgwardt and Barbara Morawska",

year = "2016",

doi = "10.1215/00294527-3555507",

language = "English",

volume = "57",

pages = "443--476",

journal = "Notre Dame Journal of Formal Logic",

issn = "1939-0726",

publisher = "Duke University Press",

number = "4",

}

TY - JOUR

T1 - Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor

AU - Baader, Franz

AU - Nguyen, Thanh Binh

AU - Borgwardt, Stefan

AU - Morawska, Barbara

PY - 2016

Y1 - 2016

UR - https://iccl.inf.tu-dresden.de/web/LATPub605

U2 - 10.1215/00294527-3555507

DO - 10.1215/00294527-3555507

M3 - Article

SN - 1939-0726

VL - 57

SP - 443

EP - 476

JO - Notre Dame Journal of Formal Logic

JF - Notre Dame Journal of Formal Logic

IS - 4

ER -

Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this