People and topics related to Knowledge graphs
People and topics related to Knowledge graphs
uli sattler
Uli
Sattler
Knowledge representation and reasoning
Knowledge representation and reasoning
uli sattler--Knowledge representation and reasoning
Ontology (information science)
Ontology (information science)
uli sattler--Ontology (information science)
Description logic
Description logic
uli sattler--Description logic
Automated reasoning
Automated reasoning
uli sattler--Automated reasoning
Modal logic
Modal logic
uli sattler--Modal logic
Logic
Logic
uli sattler--Logic
Mathematics
Mathematics
uli sattler--Mathematics
Computers in the classroom
Computers in the classroom
uli sattler--Computers in the classroom
Symbolic AI
Symbolic AI
uli sattler--Symbolic AI
Knowledge Representation and reasoning
Knowledge Representation and reasoning
uli sattler--Knowledge Representation and reasoning
Semantic Web
Semantic Web
uli sattler--Semantic Web
Ontology engineering
Ontology engineering
uli sattler--Ontology engineering
Web Ontology Language
Web Ontology Language
uli sattler--Web Ontology Language
Protege (software)
Protege (software)
uli sattler--Protege (software)
renate schmidt
Renate
Schmidt
renate schmidt--Knowledge representation and reasoning
renate schmidt--Ontology (information science)
renate schmidt--Description logic
renate schmidt--Automated reasoning
renate schmidt--Modal logic
renate schmidt--Logic
renate schmidt--Mathematics
renate schmidt--Ontology engineering
Semantic web
Semantic web
renate schmidt--Semantic web
AI in health
AI in health
renate schmidt--AI in health
Artificial intelligence
Artificial intelligence
renate schmidt--Artificial intelligence
Algebra
Algebra
renate schmidt--Algebra
francisco lobo
Francisco
Lobo
francisco lobo--Knowledge representation and reasoning
francisco lobo--Description logic
francisco lobo--Automated reasoning
francisco lobo--Logic
francisco lobo--Mathematics
francisco lobo--Algebra
Formal language
Formal language
francisco lobo--Formal language
Formal methods
Formal methods
francisco lobo--Formal methods
Knowledge graphs
Knowledge graphs
francisco lobo--Knowledge graphs
Language of mathematics
Language of mathematics
francisco lobo--Language of mathematics
Mathematical logic
Mathematical logic
francisco lobo--Mathematical logic
Mathematical modelling
Mathematical modelling
francisco lobo--Mathematical modelling
Model of computation
Model of computation
francisco lobo--Model of computation
Pure mathematics
Pure mathematics
francisco lobo--Pure mathematics
Symbolic computation
Symbolic computation
francisco lobo--Symbolic computation