-
1
-
-
0003727420
-
-
Cambridge University Press
-
Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors. The Description Logic Handbook: Theory, implementation, and applications. Cambridge University Press, 2003.
-
(2003)
The Description Logic Handbook: Theory, Implementation, and Applications
-
-
Baader, F.1
Calvanese, D.2
McGuinness, D.L.3
Nardi, D.4
Patel-Schneider, P.F.5
-
4
-
-
0004213353
-
-
Hackett Publishing Company, Indianapolis
-
John Corcoran, editor. Logic, Semantics, Meta-mathematics, papers from 1923 to 1938. Hackett Publishing Company, Indianapolis, 1983.
-
(1983)
Logic, Semantics, Meta-mathematics, Papers from 1923 to 1938
-
-
Corcoran, J.1
-
5
-
-
9344245589
-
RDF vocabulary description language 1.0: RDF schema
-
RDF vocabulary description language 1.0: RDF schema. W3C Recommendation, http://www.w3.org/TR/rdf-schema, 2004.
-
(2004)
W3C Recommendation
-
-
-
6
-
-
30944447294
-
RDF/XML syntax specification
-
revised
-
RDF/XML syntax specification (revised). W3C Recommendation, http://www.w3.org/TR/rdf-syntaxgrammar/, 2004.
-
(2004)
W3C Recommendation
-
-
-
7
-
-
9344247343
-
OWL web ontology language: Reference
-
Mike Dean, Guus Schreiber, Sean Bechhofer, Frank van Harmelen, Jim Hendler, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider, and Lynn Andrea Stein. OWL web ontology language: Reference. W3C Recommendation, http://www.w3.org/TR/owl-ref/, 2004.
-
(2004)
W3C Recommendation
-
-
Dean, M.1
Schreiber, G.2
Bechhofer, S.3
Van Harmelen, F.4
Hendler, J.5
Horrocks, I.6
McGuinness, D.L.7
Patel-Schneider, P.F.8
Stein, L.A.9
-
8
-
-
9344230770
-
RDF semantics
-
Patrick Hayes. RDF semantics. W3C Recommendation, http://www.w3.org/TR/ rdf-mt/, 2004.
-
(2004)
W3C Recommendation
-
-
Hayes, P.1
-
10
-
-
84880706103
-
RDF test cases
-
RDF test cases. W3C Recommendation, http://www.w3.org/TR/rdf-testcases/, 2004.
-
(2004)
W3C Recommendation
-
-
-
12
-
-
4644260332
-
OWL web ontology language: Semantics and abstract syntax
-
Peter F. Patel-Schneider, Patrick Hayes, and Ian Horrocks. OWL web ontology language: Semantics and abstract syntax. W3C Recommendation, http://www.w3.org/TR/owl-semantics/, 2004.
-
(2004)
W3C Recommendation
-
-
Patel-Schneider, P.F.1
Hayes, P.2
Horrocks, I.3
-
13
-
-
33748618611
-
The concept of truth in the languages of the deductive sciences
-
in Polish. Reprinted in Zygmunt 1995, expanded English translation in [Corcoran, 1983], pages 152-278
-
A. Tarski. The concept of truth in the languages of the deductive sciences [in Polish]. Prace Towarzystwa Naukowego Warszawskiego, Wydzial III Nauk Matematyczno-Fizycznych, 34, 1933. Reprinted in Zygmunt 1995, pages 13-172; expanded English translation in [Corcoran, 1983], pages 152-278.
-
(1933)
Prace Towarzystwa Naukowego Warszawskiego, Wydzial III Nauk Matematyczno-Fizycznych
, vol.34
, pp. 13-172
-
-
Tarski, A.1
|