IIIT-Delhi Institutional Repository

Approximate description logic reasoning

Show simple item record

dc.contributor.author Yadav, Raj Kamal
dc.contributor.author Mutharaju, Vijaya Raghava (Advisor)
dc.contributor.author Bhatia, Sumit (Advisor)
dc.date.accessioned 2021-05-25T08:18:03Z
dc.date.available 2021-05-25T08:18:03Z
dc.date.issued 2015-11-15
dc.identifier.uri http://repository.iiitd.edu.in/xmlui/handle/123456789/917
dc.description.abstract Approximate Reasoning involves compromising the soundness or the completeness of reasoning over description logic ontologies in favor of significant speed up in the run time. The efficiency of approximate Reasoning can further be improved by making the entailment rules amenable for parallel processing i.e concurrent reasoning. Hence we focused on the rule based reasoning where a set of entailment (also called as completion) rules are applied on the axioms in the ontology to derive inferences in an approximate-concurrent manner. Previous semester we carried out experiments to classify different ontologies of increasing sizes using different reasoners that support approximate reasoning, standard reasoning, and concurrent reasoning to distinguish among them based on their individual performance. Our experiments showed that concurrent classification and approximation deduction hugely impact the classification time with increasing size of ontologies. We aim to improve the efficiency of approximate reasoning by extending the entailment rules amenable for parallel processing. en_US
dc.language.iso en_US en_US
dc.publisher IIIT-Delhi en_US
dc.subject Approximation,EL++, Reasoning, Soundness, Completeness, Description Logic en_US
dc.title Approximate description logic reasoning en_US
dc.type Other en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search Repository

Advanced Search


My Account