group :: eswc2009 | BibSonomy

bookmarks (hide)3
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

7cwm - a general purpose data processor for the semantic web
http://www.w3.org/2000/10/swap/doc/cwm.html
21 years ago by @vrandezo
show all tags
logic_programming
rdf
inference
semantic_web
w3c
logic_programmingrdfinferencesemantic_webw3c
copydelete
- community post
- history of this post
2XML.com: RDF Applications with Prolog
http://www.xml.com/pub/a/2001/07/25/prologrdf.html
21 years ago by @vrandezo
show all tags
logic_programming
rdf
logic_programmingrdf
copydelete
- community post
- history of this post
1Metalog - the semantic web query/logical system
http://www.w3.org/RDF/Metalog/
21 years ago by @vrandezo
show all tags
logic_programming
semantic_web
w3c
logic_programmingsemantic_webw3c
copydelete
- community post
- history of this post

⟨⟨
⟨
1
⟩
⟩⟩

publications (hide)1
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

2FO(ID) as an extension of DL with rules
J. Vennekens, and M. Denecker. 6th Annual European Semantic Web Conference (ESWC2009), page 384-398. (June 2009)
17 years ago by @eswc2009
show all tags
Inference
Rule_of_Inference
Knowledge_representation
Formal_Languages
Logic_programming
Semantic_Web
Rule_languages
Logic
InferenceRule_of_InferenceKnowledge_representationFormal_LanguagesLogic_programmingSemantic_WebRule_languagesLogic
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
⟩
⟩⟩