Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures

Erstveröffentlichung
2015
Metadata only
Search for full text
Wissenschaftlicher Artikel


Authors
Steigmiller, Andreas
Glimm, Birte
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
Institutions
Institut für Künstliche Intelligenz
Published in
Journal of artificial intelligence research ; 54 (2015). - S. 535-592. - ISSN 1076-9757. - eISSN 1943-5037
Link to publication
https://dx.doi.org/10.1613/jair.4897
Funding information
TRR 62 / Eine Companion-Technologie für kognitive technische Systeme / DFG / SFB-TRR / 54371073
Keywords
OWL
Dewey Decimal Group
DDC 000 / Computer science, information & general works
Metadata
Show full item record