狠狠撸

logic programming automated reasoning ontology cheminformatics description logics knowledge representation and reasoning chemical classification chemical modelling lightweight ontologies datatypes polynomial algorithms. query answering acyclicity conditions datalog plus minus chase termination. ontological modelling finite model property. structured objects answer set programming automatic classification life sciences knowledge representation ontologies nonmonotonic negation