Matthias Knorr
Associate Professor
Lisbon, Lisbon, Portugal
Summary
👤
Senior🎓
Top SchoolMatthias Knorr is an Associate Professor in Computer Science at FCT NOVA and a long-standing member of NOVA LINCS, combining over a decade of academic and research experience in knowledge representation and reasoning. He specializes in integrating ontologies with non-monotonic formalisms for the Semantic Web and led development of the NoHR reasoner as a Protégé plug-in to answer queries over mixed ontology-rule systems. His work spans dynamic KRR systems, particularly handling streams of incoming information, and he has sustained collaborations from postdoc roles to a visiting researcher stint at Kno.e.sis in the US. Matthias holds a PhD from Universidade Nova de Lisboa and a distinguished Master’s in Computational Logic from TU Dresden, reflecting deep formal foundations. Colleagues value him for translating theoretical logic into practical tools and project leadership, notably in the ERRO project on efficient reasoning. Based in Lisbon, he continues to bridge rigorous research with usable reasoning software for the Semantic Web.
11 years of coding experience
12 years of employment as a software developer
PhD, Computer Science, PhD, Computer Science at Universidade Nova de LisboaMaster's degree, Computational Logic, 1,0 (With distinction), Master's degree, Computational Logic, 1,0 (With distinction) at Technische Universität Dresden
German, English, Portuguese
Github Skills (4)
visualizer1
visualization1
graph1
logic1
Programming languages (4)
Github contributions (5)
NoHRReasoner/NoHR-examples
Oct 2015 - Nov 2015
Contributions:2 pushes, 1 branch in 17 days
NoHRReasoner/NoHR
Sep 2014 - Sep 2020
Contributions:23 commits, 1 PR, 16 pushes in 6 years
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.