sign in · help · news · about ·

BibSonomy :: concept ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

< >

Thoralf Skolem and Skolemnisation (wikipedia)
to logic semwebss06 sw0910 sw0910_06 swss06-05 by lysander07 on Nov 25, 2006, 1:18 PM
(0)
Augustus DeMorgan and DeMorgan's Laws (wikipedia)
to logic semwebss06 sw0910 sw0910_06 swss06-05 by lysander07 on Nov 25, 2006, 1:17 PM
(0)

< > bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

< >

Logik für Informatiker
Uwe Schöning Spektrum Akademischer Verlag, 5. Aufl. edition, (2000)
to logic semwebss06 swss06-05 swt1011 swt1011_06 swt1112 swt1112_06 by lysander07 and 4 other users on Nov 24, 2010, 12:50 PM
URL | BibTeX (0)
What Is OWL and Why Should I Care?
Peter F. Patel-Schneider KR, page 735-737. (2004)
to Semantic_Web logic ontologies owl semwebss06 swss06-06 by lysander07 and 3 other users on Jan 28, 2007, 5:19 PM
URL | BibTeX (0)
From SHIQ and RDF to OWL: The Making of a Web Ontology Language
I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen Journal of Web Semantics (2003)
to logic ontologies semwebss06 owl by lysander07 and 14 other users on Dec 2, 2006, 2:59 PM
URL | BibTeX (0)
The Description Logic Handbook: Theory, Implementation and Applications
Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider (Eds.). Cambridge University Press, Cambridge, (2003)
to descriptionlogics knowledgeEngineering logic semwebss06 swss06-05 swss06-06 by lysander07 and 16 other users on Nov 27, 2006, 10:54 AM
URL | BibTeX (0)

< > publications per page: 5 10 20 50 100

a gripper