Conglomerating First Order, Descriptive and Modal Logics into Semantic Web – A Research
Neha Jain1, Ajeet K. Jain2, PVRD Prasad Rao3, K.Venkatesh Sharma4
1Neha Jain, Berlington, San Francisco, USA.
2Ajeet K. Jain, Research Scholar, Department of Computer Science and Engineering, KL University, Vijayawada, Andhra Pradesh, India.
3Dr. PVRD Prasad Rao, Professor, Department of Computer Science and Engineering, KL University, Vijayawada, Andhra Pradesh, India.
4Dr. K. Venkatesh Sharma, Professor, Department of Computer Science and Engineering, CVR, College of Engineering Hyderabad, Telangana, India.
Manuscript received on 13 April 2019 | Revised Manuscript received on 20 April 2019 | Manuscript Published on 26 July 2019 | PP: 1266-1272 | Volume-8 Issue-6S4 April 2019 | Retrieval Number: F12600486S419/19©BEIESP | DOI: 10.35940/ijitee.F1260.0486S419
Open Access | Editorial and Publishing Policies | Cite | Mendeley | Indexing and Abstracting
© The Authors. Blue Eyes Intelligence Engineering and Sciences Publication (BEIESP). This is an open-access article under the CC-BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/)
Abstract: Semantic internet has developed as the sector of incorporating specific charming judgment family devices – in particular First Order, Description and Modal rationales’ combination to reinforce simple data codecs at the WWW, mainly for tool’s usefulness of making ready and fathomable information looking ahead to to exchange over the current internet substance fabric commanded with the manual of manner of unstructured and semi-subordinate information immediately into a “net of statistics”. The understanding amongst actual and invalid reasons with a fixed of recommendations and maxims are intended to illustrate the precision of legitimacy. The protection is provable the utilization of the thoughts and maxims as statistics and the achievement as each legitimate declaration is related to a proof. This evaluation paper digs into numerous vast research issues in depiction motive in the course of the last 2 pretty some time presenting the relationship amongst right judgment households and spotlights on key additives and functionalities gave via their man or woman capacities and attributes for better expressiveness. Within the cutting-edge years, the amalgamation with modular had been investigated altogether and determined assorted area bundles broadly which include of home grown language making ready, clinical and format oversee and insights bases extra frequently than not and in semantic internet uniquely. The combination of cause families are expressed with expansions of the fundamental delineation language systems-entire of the capacities proposed for consolidation inside the formalism that at the start emerged in upholding device.
Keywords: First Order Logic, Description and Modal Logics, Knowledge Representation, A Box, TBox.
Scope of the Article: Computer Science and Its Applications