-
1
-
-
0003727420
-
-
Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors. Cambridge University Press
-
Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2002.
-
(2002)
The Description Logic Handbook: Theory, Implementation and Applications
-
-
-
2
-
-
0003607366
-
-
W3C Working Draft, May
-
Anders Berglund, Scott Boag, Don Chamberlin, Mary F. Fernandez, Michael Kay, Jonathan Robie, and Jérôme Siméon. XML Path Language (XPath) 2.0. W3C Working Draft, May 2003. Available at http://www.w3.org/TR/xpath20/.
-
(2003)
XML Path Language (XPath) 2.0
-
-
Berglund, A.1
Boag, S.2
Chamberlin, D.3
Fernandez, M.F.4
Kay, M.5
Robie, J.6
Siméon, J.7
-
4
-
-
84886280180
-
Practical reasoning for expressive description logics
-
Proc. of LPAR'99, number 1705 Springer
-
Ian Horrocks, Ulrike Sattler, and Stephan Tobies. Practical reasoning for expressive description logics. In Proc. of LPAR'99, number 1705 in LNAI, pages 161-180. Springer, 1999.
-
(1999)
LNAI
, pp. 161-180
-
-
Horrocks, I.1
Sattler, U.2
Tobies, S.3
-
7
-
-
0004986973
-
-
Boeing Technical Report BCSTECH - 94-057
-
Duncan, L., Holmback, H., Kau, A., Poteet, S., Miller, S., Harrison, P., Powell, J., & Jenkins, T. (1994). Message processing and data extraction for the Real-Time Information Extraction System (RTIMS) project (Boeing Technical Report BCSTECH - 94-057).
-
(1994)
Message Processing and Data Extraction for the Real-Time Information Extraction System (RTIMS) Project
-
-
Duncan, L.1
Holmback, H.2
Kau, A.3
Poteet, S.4
Miller, S.5
Harrison, P.6
Powell, J.7
Jenkins, T.8
-
8
-
-
84974727353
-
OilEd: A Reasonable ontology editor for the semantic web
-
Proc. of KI 2001, number 2174 Springer
-
Scan Bechhofer, Ian Horrocks, Carole Goble, and Robert Stevens. OilEd: A Reasonable ontology editor for the semantic web. In Proc. of KI 2001, number 2174 in LNAI, pages 396-408. Springer, 2001.
-
(2001)
LNAI
, pp. 396-408
-
-
Bechhofer, S.1
Horrocks, I.2
Goble, C.3
Stevens, R.4
-
10
-
-
0001473852
-
Using an expressive description logic: FaCT or fiction?
-
Ian Horrocks. Using an expressive description logic: FaCT or fiction? In Proc. KR'98, pages 636-647, 1998.
-
(1998)
Proc. KR'98
, pp. 636-647
-
-
Horrocks, I.1
-
13
-
-
0003829257
-
Knowledge modelling at the millenium (The design and evolution of Protégé-2000)
-
W. E. Grosso, H. Eriksson, R. W. Fergerson, J. H. Gennari, S. W. Tu, and M. A. Musen. Knowledge modelling at the millenium (The design and evolution of Protégé-2000). In Proc. of KAW'99, 1999.
-
(1999)
Proc. of KAW'99
-
-
Grosso, W.E.1
Eriksson, H.2
Fergerson, R.W.3
Gennari, J.H.4
Tu, S.W.5
Musen, M.A.6
-
14
-
-
84880874673
-
Ontology reasoning in the SHOQ(D) description logic
-
Ian Horrocks and Ulrike Sattler. Ontology reasoning in the SHOQ(D) description logic. In Proc. of IJCAI 2001, pages 199-204, 2001.
-
(2001)
Proc. of IJCAI 2001
, pp. 199-204
-
-
Horrocks, I.1
Sattler, U.2
|