The RacerPro knowledge representation and reasoning system.
Volker HaarslevKay HiddeRalf MöllerMichael WesselPublished in: Semantic Web (2012)
Keyphrases
- knowledge representation and reasoning
- artificial intelligence
- knowledge representation
- reasoning systems
- description logics
- logic programming
- predicate logic
- incomplete information
- structured knowledge
- defeasible logic
- automated reasoning
- semantic modeling
- conference on artificial intelligence
- update semantics
- dynamic environments
- databases
- mobile robot
- special case
- natural language