{"title":"语义Web本体开发的可追溯性方法","authors":"K. U. Danyaro, J. Jaafar, M. S. Liew","doi":"10.1109/STAIR.2011.5995761","DOIUrl":null,"url":null,"abstract":"Ontology is an explicit representation of a particular domain of interest. This paper focuses on the inherent problem of intractability (data complexity) due to data capturing for heterogeneous sources. We proposed to follow the tradition of knowledge representation and reasoning processes to develop a Semantic Web. Building query systems is the ultimate goal for this study. Conjunctive queries were adopted over ontology methods to address the data complexity. The Conjunctive queries are the form of queries in first-order logic that deal with conjunction (Λ) and existential quantification (∃) in database atomic formulae. State of the art meteorological and oceanographic domain provides the motivation for this work. We found that the querying method facilitates the tractability in reasoning and logical systems.","PeriodicalId":376671,"journal":{"name":"2011 International Conference on Semantic Technology and Information Retrieval","volume":"96 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2011-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"Tractability method for ontology development of Semantic Web\",\"authors\":\"K. U. Danyaro, J. Jaafar, M. S. Liew\",\"doi\":\"10.1109/STAIR.2011.5995761\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Ontology is an explicit representation of a particular domain of interest. This paper focuses on the inherent problem of intractability (data complexity) due to data capturing for heterogeneous sources. We proposed to follow the tradition of knowledge representation and reasoning processes to develop a Semantic Web. Building query systems is the ultimate goal for this study. Conjunctive queries were adopted over ontology methods to address the data complexity. The Conjunctive queries are the form of queries in first-order logic that deal with conjunction (Λ) and existential quantification (∃) in database atomic formulae. State of the art meteorological and oceanographic domain provides the motivation for this work. We found that the querying method facilitates the tractability in reasoning and logical systems.\",\"PeriodicalId\":376671,\"journal\":{\"name\":\"2011 International Conference on Semantic Technology and Information Retrieval\",\"volume\":\"96 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2011-06-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2011 International Conference on Semantic Technology and Information Retrieval\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/STAIR.2011.5995761\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2011 International Conference on Semantic Technology and Information Retrieval","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/STAIR.2011.5995761","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Tractability method for ontology development of Semantic Web
Ontology is an explicit representation of a particular domain of interest. This paper focuses on the inherent problem of intractability (data complexity) due to data capturing for heterogeneous sources. We proposed to follow the tradition of knowledge representation and reasoning processes to develop a Semantic Web. Building query systems is the ultimate goal for this study. Conjunctive queries were adopted over ontology methods to address the data complexity. The Conjunctive queries are the form of queries in first-order logic that deal with conjunction (Λ) and existential quantification (∃) in database atomic formulae. State of the art meteorological and oceanographic domain provides the motivation for this work. We found that the querying method facilitates the tractability in reasoning and logical systems.