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

Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

Originalsprache	Englisch
Seiten (von - bis)	443-476
Seitenumfang	34
Fachzeitschrift	Notre Dame Journal of Formal Logic
Volume	57
Ausgabenummer	4
DOIs	https://doi.org/10.1215/00294527-3555507
Publikationsstatus	Veröffentlicht - 2016

Wissenschaftszweige

@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

UR - https://www.scopus.com/pages/publications/84992597304

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 -