Computing maximally satisfiable terminologies for the description logic ALC with GCIs

Kevin Lee^*, Thomas Meyer, Jeff Z. Pan

^*Corresponding author for this work

Research output: Contribution to journal › Conference article › peer-review

10 Citations (Scopus)

Original language	English
Pages (from-to)	253-254
Number of pages	2
Journal	CEUR Workshop Proceedings
Volume	189
Publication status	Published - 1 Jan 2006
Event	2006 International Workshop on Description Logics, DL 2006 - Windermere, Lake District, United Kingdom Duration: 30 May 2006 → 1 Jun 2006

Cite this

@article{8d565785ce244531bc3dc55c812d6bd1,

title = "Computing maximally satisfiable terminologies for the description logic ALC with GCIs",

author = "Kevin Lee and Thomas Meyer and Pan, {Jeff Z.}",

year = "2006",

month = jan,

day = "1",

language = "English",

volume = "189",

pages = "253--254",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

note = "2006 International Workshop on Description Logics, DL 2006 ; Conference date: 30-05-2006 Through 01-06-2006",

}

TY - JOUR

T1 - Computing maximally satisfiable terminologies for the description logic ALC with GCIs

AU - Lee, Kevin

AU - Meyer, Thomas

AU - Pan, Jeff Z.

PY - 2006/1/1

Y1 - 2006/1/1

UR - http://www.scopus.com/inward/record.url?scp=84872954924&partnerID=8YFLogxK

UR - http://icr.uni.lu/rbooth/Papers_files/dl-kevin-final.pdf

M3 - Conference article

AN - SCOPUS:84872954924

SN - 1613-0073

VL - 189

SP - 253

EP - 254

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

T2 - 2006 International Workshop on Description Logics, DL 2006

Y2 - 30 May 2006 through 1 June 2006

ER -