{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:38:36Z","timestamp":1729661916064,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,2]]},"DOI":"10.1109\/35021bigcomp.2015.7072815","type":"proceedings-article","created":{"date-parts":[[2015,4,3]],"date-time":"2015-04-03T18:19:44Z","timestamp":1428085184000},"page":"79-86","source":"Crossref","is-referenced-by-count":6,"title":["Scalable OWL-Horst ontology reasoning using SPARK"],"prefix":"10.1109","author":[{"given":"Je-Min","family":"Kim","sequence":"first","affiliation":[]},{"given":"Young-Tack","family":"Park","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"AllegroGraph RDF-Triplestore Evaluation","author":"chang","year":"2009","journal-title":"Technical Report Joint Study with Adobe Advanced Technology Labs"},{"key":"ref11","first-page":"379","article-title":"A Pragmatic Approach to Semantic Repositories Benchmarking","author":"thakker","year":"2010","journal-title":"Proceedings of of the ESWC (7th Extended Semantic Web Conference 2010)"},{"article-title":"RDFS\/OWL reasoning using the MapReduce framework","year":"2009","author":"urbani","key":"ref12"},{"journal-title":"Spark Overview","year":"0","key":"ref13"},{"key":"ref14","article-title":"Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster Computing","author":"zaharia","year":"2012","journal-title":"Proceedings of the 9th USENIX Conference on Networked Systems Design and Implementation"},{"key":"ref15","first-page":"316","article-title":"TBox and ABox reasoning in expressive description logics","volume":"96","author":"giacomo","year":"1996","journal-title":"KR"},{"journal-title":"Web Ontology Language (OWL)","year":"0","key":"ref4"},{"journal-title":"Resource description framework (RDF)","year":"0","key":"ref3"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1613\/jair.2811","article-title":"Hypertableau Reasoning for Description Logics","volume":"36","author":"motik","year":"2009","journal-title":"Journal of Artificial Intelligence Research"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.06.001"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2007.03.004"},{"key":"ref7","first-page":"292","article-title":"FaCT++ Description Logic Reasoner: System Description","volume":"4130","author":"tsarkov","year":"2006","journal-title":"Lecture Notes in Artificial Intelligence"},{"journal-title":"Ontology Encyclopedia of Database Systems","year":"2009","author":"gruber","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1006\/knac.1993.1008"},{"key":"ref9","first-page":"353","article-title":"Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution","author":"hustadt","year":"2004","journal-title":"Proceedings of the 16th European Conference on Artificial Intelligence"}],"event":{"name":"2015 International Conference on Big Data and Smart Computing (BigComp)","start":{"date-parts":[[2015,2,9]]},"location":"Jeju, South Korea","end":{"date-parts":[[2015,2,11]]}},"container-title":["2015 International Conference on Big Data and Smart Computing (BIGCOMP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7062153\/7072806\/07072815.pdf?arnumber=7072815","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,22]],"date-time":"2019-08-22T22:10:49Z","timestamp":1566511849000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7072815\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,2]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/35021bigcomp.2015.7072815","relation":{},"subject":[],"published":{"date-parts":[[2015,2]]}}}