Author:
Glimm Birte,Horrocks Ian,Motik Boris,Stoilos Giorgos,Wang Zhe
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference40 articles.
1. Armas Romero, A., Cuenca Grau, B., Horrocks, I.: MORe: Modular combination of OWL reasoners for ontology classification. In: Proc. of the 11th Int. Semantic Web Conf. (ISWC 2012), Lecture Notes in Computer Science, vol. 7649, pp. 1–16. Springer (2012)
2. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.).: The Description Logic Handbook, 2nd edn. Cambridge University Press (2007)
3. Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Stud. Logica. 69, 5–40 (2001)
4. Cuenca Grau, B., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P.F., Sattler, U.: OWL 2: The next step for OWL. J. Web Semant. 6(4), 309–322 (2008)
5. Cuenca Grau, B., Motik, B., Stoilos, G., Horrocks, I.: Computing datalog rewritings beyond horn ontologies. In: Rossi, F. (ed.) Proc. of the 23rd Int. Joint Conf. on Artificial Intelligence (IJCAI 2013), pp. 832–838. Beijing, China (2013)
Cited by
354 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献