dataHAL

https://data.archives-ouvertes.fr/author/861157

http://xmlns.com/foaf/0.1/topic_interest	Validation
http://xmlns.com/foaf/0.1/interest	https://data.archives-ouvertes.fr/subject/sdv
http://xmlns.com/foaf/0.1/topic_interest	Forward Chaining
http://xmlns.com/foaf/0.1/topic_interest	Knowledge base validation
http://xmlns.com/foaf/0.1/topic_interest	Knowledge representation
http://xmlns.com/foaf/0.1/topic_interest	Rules
http://xmlns.com/foaf/0.1/familyName	Salvat
http://xmlns.com/foaf/0.1/topic_interest	Graphe conceptuel
http://xmlns.com/foaf/0.1/interest	https://data.archives-ouvertes.fr/subject/info.info-ai
http://xmlns.com/foaf/0.1/topic_interest	Intelligence artificielle
http://xmlns.com/foaf/0.1/topic_interest	First-order logic
http://xmlns.com/foaf/0.1/firstName	Eric
http://xmlns.com/foaf/0.1/topic_interest	Decidability
http://xmlns.com/foaf/0.1/topic_interest	Backward Chaining
http://xmlns.com/foaf/0.1/topic_interest	Chase
http://xmlns.com/foaf/0.1/topic_interest	Graphs
http://xmlns.com/foaf/0.1/topic_interest	Conceptual graphs
http://xmlns.com/foaf/0.1/topic_interest	Description Logics
http://xmlns.com/foaf/0.1/topic_interest	Rule Dependency
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://xmlns.com/foaf/0.1/Person
http://xmlns.com/foaf/0.1/topic_interest	Informatique
http://xmlns.com/foaf/0.1/name	Eric Salvat
http://xmlns.com/foaf/0.1/mbox_sha1sum	6335d09c5c0398c0894aaad9e9b0fc5f
http://xmlns.com/foaf/0.1/topic_interest	TGD