A Multi-agent Environment for Serving Proof Explanations in the Semantic Web.
Grigoris AntoniouAntonis BikakisPolyvios DamianakisMixalhs FoukarakisGiorgos IacovidisMarianna KarmaziHaridimos KondylakisAntreas MakridakisGiorgos NikiforosGeorge PapadourakisManolis PapoutsakisAggeliki PsyharakiGiorgos StratakisPanagiotis TourlakisPetros TsialiamanisGiorgos VasiliadisGerd WagnerDimitris VelegrakisPublished in: SETN (2008)
Keyphrases
- multi agent environment
- multi agent systems
- semantic web
- multi agent
- single agent
- semantic web technologies
- generating explanations
- theorem proving
- metadata
- knowledge representation
- rdf data
- semantically annotated
- linked data
- dynamic environments
- domain theory
- semantic web data
- semi automatic
- topic maps
- domain specific
- linear logic
- cooperative