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

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


Autoren
Steigmiller, Andreas
Glimm, Birte
Fakultäten
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
Institutionen
Institut für Künstliche Intelligenz
Erschienen in
Journal of artificial intelligence research ; 54 (2015). - S. 535-592. - ISSN 1076-9757. - eISSN 1943-5037
Link zur Veröffentlichung
https://dx.doi.org/10.1613/jair.4897
Förderinformationen
TRR 62 / Eine Companion-Technologie für kognitive technische Systeme / DFG / SFB-TRR / 54371073
Schlagwörter
OWL
DDC-Sachgruppe
DDC 000 / Computer science, information & general works
Metadata
Zur Langanzeige