Reasoning in description logics using declarative logic programming. Alsaç, G. & Baral, C. Report, Department of Computer Science and Engineering, Arizona State University, 2001. bibtex @article{alsacc2001reasoning,
title={Reasoning in description logics using declarative logic programming},
author={Alsa{\c{c}}, Guray and Baral, Chitta},
journal={Report, Department of Computer Science and Engineering, Arizona State University},
year={2001}
}
Downloads: 0
{"_id":"G2GCfiKPn3NgfgaZF","bibbaseid":"alsa-baral-reasoningindescriptionlogicsusingdeclarativelogicprogramming-2001","authorIDs":[],"author_short":["Alsaç, G.","Baral, C."],"bibdata":{"bibtype":"article","type":"article","title":"Reasoning in description logics using declarative logic programming","author":[{"propositions":[],"lastnames":["Alsaç"],"firstnames":["Guray"],"suffixes":[]},{"propositions":[],"lastnames":["Baral"],"firstnames":["Chitta"],"suffixes":[]}],"journal":"Report, Department of Computer Science and Engineering, Arizona State University","year":"2001","bibtex":"@article{alsacc2001reasoning,\n title={Reasoning in description logics using declarative logic programming},\n author={Alsa{\\c{c}}, Guray and Baral, Chitta},\n journal={Report, Department of Computer Science and Engineering, Arizona State University},\n year={2001}\n}\n\n","author_short":["Alsaç, G.","Baral, C."],"key":"alsacc2001reasoning","id":"alsacc2001reasoning","bibbaseid":"alsa-baral-reasoningindescriptionlogicsusingdeclarativelogicprogramming-2001","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"https://cogintlab-asu.github.io/cogint_bib.bib","creationDate":"2019-10-05T00:43:09.965Z","downloads":0,"keywords":[],"search_terms":["reasoning","description","logics","using","declarative","logic","programming","alsaç","baral"],"title":"Reasoning in description logics using declarative logic programming","year":2001,"dataSources":["qFKdMbFtP3HEjG9PQ"]}