Computing maximally satisfiable terminologies for the description logic ALC with GCIs

CEUR Workshop Proceedings

Volumn 189, Issue , 2006, Pages 253-254

  Lee, Kevin ^a   Meyer, Thomas ^a   Pan, Jeff Z ^b  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

^b UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84872954924     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (2)

1. Franz Baader and Bernhard Hollunder. Embedding Defaults into Terminological Knowledge Representational Formalisms. Journal of Automated Reasoning, 14:149-180, 1995.
2. Stefan Schlobach. Diagnosing terminologies. In Proceedings of AAAI05, pages 670-675, 2005.