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 journalConference article

8 Citations (Scopus)
Original languageEnglish
Pages (from-to)253-254
Number of pages2
JournalCEUR Workshop Proceedings
Volume189
Publication statusPublished - 1 Jan 2006
Event2006 International Workshop on Description Logics, DL 2006 - Windermere, Lake District, United Kingdom
Duration: 30 May 20061 Jun 2006

ASJC Scopus subject areas

  • Computer Science(all)

Cite this