IIIT-Delhi Institutional Repository

Browsing by Subject "Approximation,EL++, Reasoning, Soundness, Completeness, Description Logic"

Browsing by Subject "Approximation,EL++, Reasoning, Soundness, Completeness, Description Logic"

Sort by: Order: Results:

  • Yadav, Raj Kamal; Mutharaju, Vijaya Raghava (Advisor); Bhatia, Sumit (Advisor) (IIIT-Delhi, 2015-11-15)
    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 ...

Search Repository

Browse

My Account