@electronic{www.cs.man.ac.uk,
   title       = {Description Logic Complexity Navigator}, 
   url         = {http://www.cs.man.ac.uk/~ezolin/logic/complexity.html},
   biburl      = {https://puma.uni-kassel.de/url/fc14f3101143ca7417436b5d0717962b/hotho},
   keywords    = {web logic semantic complexity dl rdf},
   added-at    = {2007-02-09T09:43:34.000+0100},
   description = {},
   interhash   = {fc14f3101143ca7417436b5d0717962b}, 
   intrahash   = {fc14f3101143ca7417436b5d0717962b}
}

@electronic{kaon.semanticweb.org,
   title       = {Welcome to KAON — KAON - The KArlsruhe ONtology and Semantic Web tool suite}, 
   url         = {http://kaon.semanticweb.org/},
   biburl      = {https://puma.uni-kassel.de/url/21d450f667a47f1d195cd883f4ad437a/hotho},
   keywords    = {web logic kaon semantic editor owl},
   added-at    = {2006-02-14T14:36:37.000+0100},
   description = {},
   interhash   = {21d450f667a47f1d195cd883f4ad437a}, 
   intrahash   = {21d450f667a47f1d195cd883f4ad437a}
}