dataHAL.science
Support
https://data.archives-ouvertes.fr/author/1486
https://data.archives-ouvertes.fr/author/1486
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/sdv.bbm
http://xmlns.com/foaf/0.1/topic_interest
Logique du premier ordre
http://xmlns.com/foaf/0.1/topic_interest
Biological computing
http://xmlns.com/foaf/0.1/topic_interest
Homomorphism
http://xmlns.com/foaf/0.1/topic_interest
Existential Rules
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/math.math-lo
http://xmlns.com/foaf/0.1/topic_interest
Entity Resolution
http://xmlns.com/foaf/0.1/topic_interest
Graphs
http://xmlns.com/foaf/0.1/topic_interest
Ontology
http://xmlns.com/foaf/0.1/topic_interest
Decidability
http://xmlns.com/foaf/0.1/topic_interest
Existential rule
http://xmlns.com/foaf/0.1/topic_interest
RÈGLES
http://xmlns.com/foaf/0.1/topic_interest
Conjunctive Queries with Negation
http://xmlns.com/foaf/0.1/topic_interest
Rule
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/spi.other
http://xmlns.com/foaf/0.1/topic_interest
Annotation
http://xmlns.com/foaf/0.1/topic_interest
Documentary Knowledge Base
http://xmlns.com/foaf/0.1/topic_interest
Semantic networks
http://xmlns.com/foaf/0.1/topic_interest
Rules
http://xmlns.com/foaf/0.1/topic_interest
Réconciliation de références
http://xmlns.com/foaf/0.1/topic_interest
Platform
http://xmlns.com/foaf/0.1/topic_interest
Graph clustering
http://xmlns.com/foaf/0.1/topic_interest
QUERY
http://xmlns.com/foaf/0.1/topic_interest
Annotation Sémantique Ontologie Modulaire Graphes Conceptuels Emboîtés Cogui Cogitant Projet SAPHIR
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
Key logical semantics
http://xmlns.com/foaf/0.1/topic_interest
RDF
http://xmlns.com/foaf/0.1/topic_interest
Web Sémantique
http://xmlns.com/foaf/0.1/topic_interest
Topic Map
http://xmlns.com/foaf/0.1/topic_interest
Liste
http://xmlns.com/foaf/0.1/topic_interest
Key semantics
http://xmlns.com/foaf/0.1/name
Michel Leclère
http://xmlns.com/foaf/0.1/topic_interest
TGD
http://xmlns.com/foaf/0.1/topic_interest
First-order rewritability
http://xmlns.com/foaf/0.1/topic_interest
Représentation de connaissances et raisonnements
http://www.w3.org/2002/07/owl#sameAs
0000-0003-0484-3964
http://www.w3.org/2002/07/owl#sameAs
083149449
http://xmlns.com/foaf/0.1/topic_interest
Forward Chaining
http://xmlns.com/foaf/0.1/topic_interest
Datalog
http://xmlns.com/foaf/0.1/topic_interest
Rule-based reasoning
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/shs.info
http://xmlns.com/foaf/0.1/topic_interest
Disjunctive Existential Rules
http://xmlns.com/foaf/0.1/topic_interest
Négation atomique
http://xmlns.com/foaf/0.1/topic_interest
Datalog +
http://xmlns.com/foaf/0.1/topic_interest
Similarity
http://xmlns.com/foaf/0.1/topic_interest
Automated genetic design
http://xmlns.com/foaf/0.1/topic_interest
Reasoning
http://xmlns.com/foaf/0.1/topic_interest
NEGATION
http://xmlns.com/foaf/0.1/topic_interest
Rewriting
http://xmlns.com/foaf/0.1/topic_interest
Heuristics
http://xmlns.com/foaf/0.1/topic_interest
Semantic Annotation
http://xmlns.com/foaf/0.1/topic_interest
Backward chaining
http://xmlns.com/foaf/0.1/topic_interest
Mapping
http://xmlns.com/foaf/0.1/topic_interest
IdRef
http://xmlns.com/foaf/0.1/firstName
Michel
http://xmlns.com/foaf/0.1/topic_interest
Entité
http://xmlns.com/foaf/0.1/topic_interest
Logic gates
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-bi
http://xmlns.com/foaf/0.1/topic_interest
Graph-based languages
http://xmlns.com/foaf/0.1/topic_interest
Déduction
http://xmlns.com/foaf/0.1/topic_interest
Conceptual Graphs
http://xmlns.com/foaf/0.1/topic_interest
Validation
http://xmlns.com/foaf/0.1/topic_interest
Ontologies
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-ai
http://xmlns.com/foaf/0.1/topic_interest
Data Access
http://xmlns.com/foaf/0.1/topic_interest
SAT
http://xmlns.com/foaf/0.1/topic_interest
Logiciel libre
http://xmlns.com/foaf/0.1/topic_interest
RuleML
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.eiah
http://xmlns.com/foaf/0.1/topic_interest
Ontology-Based Data Access
http://xmlns.com/foaf/0.1/topic_interest
Heuristiques
http://xmlns.com/foaf/0.1/topic_interest
Intelligence Artificielle
http://xmlns.com/foaf/0.1/topic_interest
SPARQL
http://xmlns.com/foaf/0.1/topic_interest
Knowledge management
http://xmlns.com/foaf/0.1/topic_interest
Finite elements
http://xmlns.com/foaf/0.1/topic_interest
Semantic Web
http://xmlns.com/foaf/0.1/topic_interest
Distributed multicellular computing
http://xmlns.com/foaf/0.1/topic_interest
Chase
http://xmlns.com/foaf/0.1/topic_interest
RAISONNEMENT
http://xmlns.com/foaf/0.1/topic_interest
Piece-unification
http://xmlns.com/foaf/0.1/topic_interest
Open source software
http://xmlns.com/foaf/0.1/topic_interest
Identification d'entités nommées
http://xmlns.com/foaf/0.1/topic_interest
OWL
http://xmlns.com/foaf/0.1/topic_interest
WEB SEMANTIQUE
http://xmlns.com/foaf/0.1/topic_interest
First order logic
http://xmlns.com/foaf/0.1/topic_interest
Query rewriting
http://xmlns.com/foaf/0.1/topic_interest
Multimédia
http://xmlns.com/foaf/0.1/topic_interest
Link Validation
http://xmlns.com/foaf/0.1/topic_interest
GRAPHES CONCEPTUELS
http://xmlns.com/foaf/0.1/topic_interest
Rule -based systems
http://xmlns.com/foaf/0.1/topic_interest
Graph partitioning
http://xmlns.com/foaf/0.1/topic_interest
First-order Logic
http://xmlns.com/foaf/0.1/topic_interest
Algorithms
http://xmlns.com/foaf/0.1/topic_interest
Recombinases
http://xmlns.com/foaf/0.1/topic_interest
Graphes
http://xmlns.com/foaf/0.1/topic_interest
Description Logics
http://xmlns.com/foaf/0.1/familyName
Leclère
http://xmlns.com/foaf/0.1/topic_interest
Coréférence
http://xmlns.com/foaf/0.1/topic_interest
Rule Dependency
http://xmlns.com/foaf/0.1/topic_interest
Data linking
http://xmlns.com/foaf/0.1/topic_interest
Artificial Intelligence
http://xmlns.com/foaf/0.1/topic_interest
Ontologie-Based Data Access
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-lo
http://xmlns.com/foaf/0.1/topic_interest
Difference
http://xmlns.com/foaf/0.1/topic_interest
Vibration
http://xmlns.com/foaf/0.1/topic_interest
Homomorphisme
http://xmlns.com/foaf/0.1/topic_interest
Boundedness
http://xmlns.com/foaf/0.1/topic_interest
Partitionnement
http://xmlns.com/foaf/0.1/topic_interest
RDFS
http://xmlns.com/foaf/0.1/topic_interest
Atomic negation
http://xmlns.com/foaf/0.1/topic_interest
Graphical interface
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-cl
http://xmlns.com/foaf/0.1/topic_interest
INFÉRENCE
http://xmlns.com/foaf/0.1/topic_interest
Expérimentations
http://xmlns.com/foaf/0.1/topic_interest
Databases
http://xmlns.com/foaf/0.1/topic_interest
Conjunctive Query Answering
http://xmlns.com/foaf/0.1/topic_interest
Graal
http://xmlns.com/foaf/0.1/topic_interest
Conceptual Graph
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-dl
http://xmlns.com/foaf/0.1/topic_interest
Réponses
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-db
http://xmlns.com/foaf/0.1/topic_interest
Containment
http://xmlns.com/foaf/0.1/topic_interest
Résolution
http://xmlns.com/foaf/0.1/topic_interest
Ontology-Based Data Access Existential Rules Rewriting
http://xmlns.com/foaf/0.1/topic_interest
Query Containment
http://www.openarchives.org/ore/terms/isAggregatedBy
https://data.archives-ouvertes.fr/author/michel-leclere
http://xmlns.com/foaf/0.1/topic_interest
Ontology-Based
http://xmlns.com/foaf/0.1/topic_interest
Algorithm
http://xmlns.com/foaf/0.1/mbox_sha1sum
036686d834872cf70ea1a7177cf865fd
http://xmlns.com/foaf/0.1/topic_interest
CONJUNCTIVE QUERY CONTAINMENT
http://xmlns.com/foaf/0.1/topic_interest
Query answering
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-tt
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-wb
http://xmlns.com/foaf/0.1/topic_interest
Tuple Generating Dependencies
http://xmlns.com/foaf/0.1/topic_interest
Algorithme
http://xmlns.com/foaf/0.1/topic_interest
Knowledge Representation
http://xmlns.com/foaf/0.1/topic_interest
TOPIC MAPS
http://xmlns.com/foaf/0.1/topic_interest
Vibrations
http://xmlns.com/foaf/0.1/topic_interest
Knowledge Representation and Reasoning
http://xmlns.com/foaf/0.1/topic_interest
GESTION DES CONNAISSANCES
http://xmlns.com/foaf/0.1/topic_interest
Finite Unification Sets
http://xmlns.com/foaf/0.1/topic_interest
Veille médiatique
http://xmlns.com/foaf/0.1/topic_interest
GRAPH
http://xmlns.com/foaf/0.1/topic_interest
Requêtes
http://xmlns.com/foaf/0.1/topic_interest
OBDA
http://xmlns.com/foaf/0.1/topic_interest
Datalog+
http://xmlns.com/foaf/0.1/topic_interest
Synthetic biology
http://xmlns.com/foaf/0.1/topic_interest
Négation
http://xmlns.com/foaf/0.1/topic_interest
Deduction
http://xmlns.com/foaf/0.1/topic_interest
Bases de Données Documentaires
http://xmlns.com/foaf/0.1/topic_interest
Experiments
http://xmlns.com/foaf/0.1/topic_interest
OWL2
http://xmlns.com/foaf/0.1/topic_interest
Éléments finis
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-si
https://aurehal.archives-ouvertes.fr/author/1486
Télécharger au format
RDF/XML
Turtle
N3
Json