Acknowledgement
Supported by : 한국연구재단
References
- J. Doyle, "A truth maintenance system," Artificial Intelligence, Vol. 12, No. 3, pp. 231-272, Nov. 1979. https://doi.org/10.1016/0004-3702(79)90008-0
- Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M., (2004, May 21). SWRL: A Semantic Web Rule Language Combining OWL and RuleML [Online], Available: https://www.w3.org/Submission/SWRL (downloaded 2017. April. 15)
- Jeffrey Dean, Sanfay Ghemawat, "MapReduce: Simplified Data Processing on Large Clusters," Communications of the ACM-50th anniversary issue: 1958-2008, Vol. 51, No. 1, Jan. 2008.
- Zaharia, Matei, et. al., "Spark: cluster computing with working sets," Proc. of the 2nd USENIX conference on Hot topics in cloud computing, pp. 10-10, Jun. 2010.
- Evren Sirin, Bijan P., Bernardo C. G., Aditya K., Yarden K., "Pellet: A practical OWL-DL reasoner," Web Semantics: Science, Services and Agents on the World Wide Web, Vol. 5, No. 2, pp. 51-53, Jun. 2007. https://doi.org/10.1016/j.websem.2007.03.004
- Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos, Zhe Wang, "HermiT: An OWL 2 Reasoner," Journal of Automated Reasoning, Vol. 53, No. 3, pp. 245-269, Oct. 2014. https://doi.org/10.1007/s10817-014-9305-1
- Dmitry Tsarkov, Ian Horrocks, "FaCT++ Description Logic Reasoner: System Description," International Joint Conference on Automated Reasoning: Automated Reasoning, pp. 292-297, Aug. 2006.
- Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Zhe Wu, Jay Banerjee, "RDFox: A Highly-Scalable RDF Store," International Semantic Web Conference, pp. 3-20, Oct. 2015.
- Volker Haarslev and Ralf Moller, "Racer system description," International Joint Conference on Automated Reasoning: Automated Reasoning, pp. 701-705, Jun. 2001.
- Philipp Cimiano, Johanna Volker, "Text2Onto: a framework for ontology learning and data-driven change discovery," Proc. of the 10th international conference on Natrual Language Processing and Information Systems, pp. 227-238, Jun. 2005.
- Min-Su Jang, Joo-Cahn Sohn, "Bossam: An Extended Rule Engine for OWL Inferencing," International Workshop on Rules and Markup Language for the Semantic Web, pp. 128-138, Nov. 2004.
- N. Hai, N. Alechina, B. Logan, "Axiom Pinpointing Using an Assumption-Based Truth Maintenance System," Proc. of the 25th International Wrokshop on Description Logics, pp. 290-300, Jun. 2012.
- Je-Min Kim, Young-Tack Park, "An Approach to Detect All Axioms Responsible for Unsatisfiable Concepts in Ontology," Journal of KIISE: Software and Applications, Vol. 39, No. 6, pp. 464-472, Jun. 2012.
- Michael Dixon, Johan de Kleer, "Massively Parallel Assumption-based Truth Maintenance," Proc. of the Seventh AAAI National Conference on Artificial Intelligence, pp. 199-204, Aug. 1988.
- Batselem Jagvaral, Young-Tack Park, "Distributed Assumption-Based Truth Maintenance System for Scalable Reasoning," Journal of KIISE: Software and Applications, Vol. 43, No. 10, pp. 1115-1123, Oct. 2016. https://doi.org/10.5626/JOK.2016.43.10.1115
- Batselem Jagvaral, Young-Tack Park, "Distributed scalable RDFS reasoning," Big Data and Smart Computing, pp. 31-34, Feb. 2015.
- Schatzle, Alexander, et al., "Sempala: Interactive SPARQL query processing on hadoop," International Semantic Web Conference, pp. 164-179, Oct. 2014.