Giese, Martin
Professor
|
+47 22852737
|
martingi@ifi.uio.no
|
logic,
big data,
semantic web,
automated reasoning,
proof search,
first order logic
|
Giese, Martin
Professor
|
+47 22852737
|
martingi@ifi.uio.no
|
Logikk,
Big data,
Semantic web,
Automatisk resonnering,
Bevissøk,
Førsteordens logikk
|
Jimenez-Ruiz, Ernesto
Researcher
|
|
ernestoj@ifi.uio.no
|
semantic web,
semantic technologies,
ontologies,
ontology alignment
|
Jimenez-Ruiz, Ernesto
Forsker
|
|
ernestoj@ifi.uio.no
|
semantic web,
ontologies,
ontology alignment,
semantic technologies
|
Skjæveland, Martin Georg
Researcher
|
|
martige@ifi.uio.no
|
Semantic web,
Logic,
Ontologies,
Databases,
Data Integration,
Data Exchange
|