-
1
-
-
0003727420
-
-
F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors, Cambridge University Press
-
F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. 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
-
-
-
2
-
-
38849197736
-
-
J. Clark. XSL Transformations 1.0. W3C Recommendation, 1999.
-
J. Clark. XSL Transformations 1.0. W3C Recommendation, 1999.
-
-
-
-
3
-
-
38849188417
-
-
EC-funded project EuRoMain
-
EC-funded project EuRoMain. http://www.euromain.org/.
-
-
-
-
4
-
-
38849120499
-
-
EC-funded project InteGRail
-
EC-funded project InteGRail. http://www.integrail.info/.
-
-
-
-
5
-
-
38849155622
-
-
FaCT, OWL-DL reasoner
-
FaCT++ OWL-DL reasoner. http://owl.man.ac.uk/factplusplus/.
-
-
-
-
6
-
-
0003641269
-
-
U. Fayyad, G. Piatetsky-Shapiro, and R. Uthurusamy, editors, MIT Press
-
U. Fayyad, G. Piatetsky-Shapiro, and R. Uthurusamy, editors. Advances in Knowledge Discovery and Data Mining. MIT Press, 1996.
-
(1996)
Advances in Knowledge Discovery and Data Mining
-
-
-
7
-
-
1342318680
-
OWL-QL: A Query Language for Deductive Query Answering on the Semantic Web
-
03-14, Stanford University, Stanford, CA
-
R. Fikes, P. Hayes, and I. Horrocks. OWL-QL: A Query Language for Deductive Query Answering on the Semantic Web. Technical Report KSL 03-14, Stanford University, Stanford, CA, 2003.
-
(2003)
Technical Report KSL
-
-
Fikes, R.1
Hayes, P.2
Horrocks, I.3
-
8
-
-
25144513579
-
Lubm: A benchmark for owl knowledge base systems
-
Y. Guo, Z. Pan, and J. Heflin. Lubm: A benchmark for owl knowledge base systems. Journal of Web Semantics, 3(2), 2005.
-
(2005)
Journal of Web Semantics
, vol.3
, Issue.2
-
-
Guo, Y.1
Pan, Z.2
Heflin, J.3
-
9
-
-
17644384293
-
The Instance Store: Description Logic Reasoning with Large Numbers of Individuals
-
I. Horrocks, L. Li, D. Turi, and S. Bechhofer. The Instance Store: Description Logic Reasoning with Large Numbers of Individuals. In DL Workshop, 2004.
-
(2004)
DL Workshop
-
-
Horrocks, I.1
Li, L.2
Turi, D.3
Bechhofer, S.4
-
10
-
-
17644419220
-
SWRL: A Semantic Web Rule Language Combining OWL and RuIeML
-
I. Horrocks, P. F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, and M. Dean. SWRL: A Semantic Web Rule Language Combining OWL and RuIeML. W3C Member Submission, 2004.
-
(2004)
Member Submission
, vol.W3C
-
-
Horrocks, I.1
Patel-Schneider, P.F.2
Boley, H.3
Tabet, S.4
Grosof, B.5
Dean, M.6
-
13
-
-
11144287594
-
The Suggested Upper Merged Ontology: A Large Ontology for the Semantic Web and its Applications
-
A. Pease, I. Niles, and J. Li. The Suggested Upper Merged Ontology: A Large Ontology for the Semantic Web and its Applications. In AAAI-2002.
-
AAAI-2002
-
-
Pease, A.1
Niles, I.2
Li, J.3
-
15
-
-
38849172380
-
A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web
-
New York, USA
-
P. Pothipruk and G. Governatori. A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web. In WISE 2005, New York, USA.
-
WISE 2005
-
-
Pothipruk, P.1
Governatori, G.2
-
20
-
-
2442707859
-
DIAMOND: Distributed Multi-Agent Architecture for Monitoring and Diagnosis
-
H. Worn, T. Langle, M. Albert, A. Kazi, A. Brighenti, S. Seijo, C. Senior, M. Bobi, and J. Collado. DIAMOND: Distributed Multi-Agent Architecture for Monitoring and Diagnosis. Production Planning & Control, 15(2), 2004.
-
(2004)
Production Planning & Control
, vol.15
, Issue.2
-
-
Worn, H.1
Langle, T.2
Albert, M.3
Kazi, A.4
Brighenti, A.5
Seijo, S.6
Senior, C.7
Bobi, M.8
Collado, J.9
|