A Tableau Decision Procedure for $\mathcal{SHOIQ}$
作者： Ian Horrocks , Ulrike Sattler
DOI: 10.1007/S10817-007-9079-9
关键词: Discrete mathematics 、 Ontology (information science) 、 Description logic 、 Basis (linear algebra) 、 Decidability 、 Consistency problem 、 Mathematics 、 Ontology language 、 Algebra
摘要: OWL DL, a new W3C ontology language recommendation, is based on the expressive description logic $\mathcal{SHOIN}$ . Although consistency problem for known to be decidable, up now there has been no "practical" decision procedure, that is, goal-directed procedure likely perform well with realistic derived problems. We present such $\mathcal{SHOIQ}$ , slightly more than extending well-known algorithm $\mathcal{SHIQ}$ which basis several highly successful implementations.
springer.com
sci-hub.se 参考文章(46)
P. Brezillon, P. Bouquet, Lecture Notes in Artificial Intelligence ,(1999)
Guus Schreiber, Mike Dean, OWL Web Ontology Language Reference W3C Recommendation ,(2004)
Erich Grädel, Why are modal logics so robustly decidable Current trends in theoretical computer science. pp. 393- 408 ,(2001)
Klaus Schild, A correspondence theory for terminological logics: preliminary report international joint conference on artificial intelligence. pp. 466- 471 ,(1991)
Dmitry Tsarkov, Ian Horrocks, Ordering heuristics for description logic reasoning international joint conference on artificial intelligence. pp. 609- 614 ,(2005)
Jan Hladik, Jörg Model, Tableau Systems for SHIO and SHIQ. Description Logics. ,(2004)
Peter F. Patel-Schneider, DLP System Description. Description Logics. ,(1998)
Maurizio Lenzerini, Giuseppe De Giacomo, TBox and ABox reasoning in expressive description logics principles of knowledge representation and reasoning. pp. 316- 327 ,(1996)
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Using terminological reasoning in hybrid systems Ai Communications. ,vol. 3, pp. 128- 138 ,(1990) , 10.3233/AIC-1990-3304
Michel Parigot, Andrei Voronkov, Proceedings of the 7th international conference on Logic for programming and automated reasoning Untitled Event. ,(2000)