Baader, F.; Ganter, B.; Sertkaya, B. & Sattler, U. (2007),
Completing Description Logic Knowledge Bases Using Formal Concept
Analysis., in
Manuela M. Veloso, ed.,
'IJCAI'
, pp. 230-235
.
[BibTeX]
[Endnote]
Baader, F.; Ganter, B.; Sertkaya, B. & Sattler, U. (2007),
Completing description logic knowledge bases using formal concept analysis, in
'Proceedings of the 20th international joint conference on Artifical intelligence'
, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA
, pp. 230--235
.
[BibTeX]
[Endnote]
Baader, F.; Ganter, B.; Sertkaya, B. & Sattler, U. (2007),
Completing Description Logic Knowledge Bases Using Formal Concept Analysis, in
Manuela M. Veloso, ed.,
'IJCAI'
, pp. 230-235
.
[BibTeX]
[Endnote]
Rudolph, S.
(2006),
Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification
, Universitätsverlag Karlsruhe
.
[BibTeX]
[Endnote]
Baader, F. & Sertkaya, B. (2004),
Applying Formal Concept Analysis to Description Logics., in
Peter W. Eklund, ed.,
'Concept Lattices'
, Springer, Berlin/Heidelberg
, pp. 261--286
.
[BibTeX]
[Endnote]
Baader, F.; Calvanese, D.; McGuinness, D. L.; Nardi, D. & Patel-Schneider, P. F., ed.
(2003),
The description logic handbook: theory, implementation, and applications
, Cambridge University Press
, New York, NY, USA
.
[BibTeX]
[Endnote]
Grosof, B.; Horrocks, I.; Volz, R. & Decker, S. (2003),
Description Logic Programs: Combining Logic Programs with Description Logics, in
'Proc. of WWW-2003'
.
[BibTeX]
[Endnote]
Horrocks, I.; Patel-Schneider, P. F. & van Harmelen, F. (2003),
'From SHIQ and RDF to OWL: the making of a Web Ontology Language', Web Semantics: Science, Services and Agents on the World Wide Web
1
(1)
, 7-26
.
[BibTeX]
[Endnote]
Haarslev, V. & Moller, R. (2001),
Description of the RACER System and its Applications, in
D. L. McGuinness et al, ed.,
'Proceedings of the 2001 International Workshop on Description Logics (DL-2001)'
, CEUR Workshop Proceedings,
.
[BibTeX]
[Endnote]
Stumme, G. (1996),
The Concept Classification of a Terminology Extended by Conjunction and Disjunction, in
N. Foo & R. Goebel, ed.,
'PRICAI'96: Topics in Artificial Intelligence. Proc. PRICAI'96'
, Springer, Heidelberg
, pp. 121-131
.
[BibTeX]
[Endnote]
Baader, F. (1995),
Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology, in
'Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 95'
, pp. 168--178
.
[BibTeX]
[Endnote]
Cohen, W. W. & Hirsh, H. (1994),
Learning the Classic Description Logic: Theoretical and Experimental Results., in
'KR'
, pp. 121-133
.
[BibTeX]
[Endnote]
Cohen, W. W. & Hirsh, H. (1994),
'The Learnability of Description Logics with Equality Constraints.', Machine Learning
17
(2-3)
, 169-199
.
[BibTeX]
[Endnote]