%0 Journal Article %1 alferes2013query %A Alferes, José Júlio %A Knorr, Matthias %A Swift, Terrance %C New York, NY, USA %D 2013 %I ACM %J ACM Trans. Comput. Logic %K Hybrid bases, description fragments, knowledge logics, ontologies, rules, semantics tabling, tractable well-founded %N 2 %P 16:1--16:43 %R 10.1145/2480759.2480768 %T Query-Driven Procedures for Hybrid MKNF Knowledge Bases %U http://doi.acm.org/10.1145/2480759.2480768 %V 14

@article{alferes2013query, acmid = {2480768}, added-at = {2015-01-14T21:25:14.000+0100}, address = {New York, NY, USA}, articleno = {16}, author = {Alferes, Jos{\'e} J\'{u}lio and Knorr, Matthias and Swift, Terrance}, biburl = {https://www.bibsonomy.org/bibtex/247522c57e8e86c59365b27966374b59a/diverzulu}, doi = {10.1145/2480759.2480768}, file = {:D\:\\ASUS-FINO\\Inkhognito_M\\David\\PhD\\Web Semântica\\Biomedicine Ontology\\Reasoners\\2013-ACM-Query-driven procedures for hybrid MKNF knowledge bases-464knorr.pdf:PDF}, interhash = {0c810daf015efce4a832703b73f7b78c}, intrahash = {47522c57e8e86c59365b27966374b59a}, issn = {1529-3785}, issue_date = {June 2013}, journal = {ACM Trans. Comput. Logic}, keywords = {Hybrid bases, description fragments, knowledge logics, ontologies, rules, semantics tabling, tractable well-founded}, month = jun, number = 2, numpages = {43}, pages = {16:1--16:43}, publisher = {ACM}, timestamp = {2015-01-14T21:25:14.000+0100}, title = {Query-Driven Procedures for Hybrid MKNF Knowledge Bases}, url = {http://doi.acm.org/10.1145/2480759.2480768}, volume = 14, year = 2013 }