Membership
Tour
Register
Log in
Vincent VIALARD
Follow
Person
Ulm, DE
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Abstraction refinement for scalable type reasoning in ontology-base...
Patent number
9,483,521
Issue date
Nov 1, 2016
DERIVO GMBH
Thorsten Liebig
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
ABSTRACTION REFINEMENT FOR SCALABLE TYPE REASONING IN ONTOLOGY-BASE...
Publication number
20160004965
Publication date
Jan 7, 2016
derivo GmbH
Thorsten LIEBIG
G06 - COMPUTING CALCULATING COUNTING