adrianomelo/reasoner-test-suite
Set of ontologies and resources to evaluate OWL reasoners
Seminário sobre unificação em prolog. (Raciocínio Automático e Representação do conhecimento - in1122)
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Set of ontologies and resources to evaluate OWL reasoners
Public repository.
Palestra de Linux Desktop peara a Campus Party Recife
Public repository.