-
1
-
-
0003727420
-
-
Baader, F, McGuiness, D. L, Nardi, D, and Patel-Schneider, P, eds, Cambridge University Press
-
Baader, F.; McGuiness, D. L.; Nardi, D.; and Patel-Schneider, P., eds. 2002. Description Logic Handbook: Theory, implementation and applications. Cambridge University Press.
-
(2002)
Description Logic Handbook: Theory, implementation and applications
-
-
-
3
-
-
85032411661
-
DL-Lite: Practical Reasoning for Rich DLs
-
Calvanese, D.; Giacomo, G. D.; Lenzerini, M.; Rosati, R.; and Vetere, G. 2004. DL-Lite: Practical Reasoning for Rich DLs. In Proc. of the DL2004 Workshop.
-
(2004)
Proc. of the DL2004 Workshop
-
-
Calvanese, D.1
Giacomo, G.D.2
Lenzerini, M.3
Rosati, R.4
Vetere, G.5
-
4
-
-
33745536145
-
DL-Lite: Tractable description logics for ontologies
-
Calvanese, D.; Giacomo, G. D.; Lembo, D.; Lenzerini, M.; ; and Rosati, R. 2005. DL-Lite: Tractable description logics for ontologies. In Proc. of AAAI 2005.
-
(2005)
Proc. of AAAI 2005
-
-
Calvanese, D.1
Giacomo, G.D.2
Lembo, D.3
Lenzerini, M.4
Rosati, R.5
-
5
-
-
36348950945
-
Approximating Description Logic Classification for Semantic Web Reasoning
-
Groot, P.; Stuckenschmidt, H.; and Wache, H. 2005. Approximating Description Logic Classification for Semantic Web Reasoning. In Proc. of ESWC2005.
-
(2005)
Proc. of ESWC2005
-
-
Groot, P.1
Stuckenschmidt, H.2
Wache, H.3
-
6
-
-
35048835719
-
An Evaluation of Knowledge Base Systems for Large OWL Datasets
-
Guo, Y.; Pan, Z.; and Heflin, J. 2004. An Evaluation of Knowledge Base Systems for Large OWL Datasets. In Proc. of ISWC2004, 274-288.
-
(2004)
Proc. of ISWC2004
, pp. 274-288
-
-
Guo, Y.1
Pan, Z.2
Heflin, J.3
-
7
-
-
25144513579
-
LUBM: A Benchmark for OWL Knowledge Base Systems
-
Guo, Y.; Pan, Z.; and Heflin, J. 2005. LUBM: A Benchmark for OWL Knowledge Base Systems. Journal of Web Semantics 3(2): 158-182.
-
(2005)
Journal of Web Semantics
, vol.3
, Issue.2
, pp. 158-182
-
-
Guo, Y.1
Pan, Z.2
Heflin, J.3
-
12
-
-
21244476095
-
Reducing SHIQ- Description Logic to Disjunctive Datalog Programs
-
Hustadt, U.; Motik, B.; and Sattler, U. 2004. Reducing SHIQ- Description Logic to Disjunctive Datalog Programs. In Proc. of KR2004, 152-162.
-
(2004)
Proc. of KR2004
, pp. 152-162
-
-
Hustadt, U.1
Motik, B.2
Sattler, U.3
-
13
-
-
33845212761
-
A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes
-
Motik, B., and Sattler, U. 2006. A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. In Proc. of LPAR 2006, 227-241.
-
(2006)
Proc. of LPAR 2006
, pp. 227-241
-
-
Motik, B.1
Sattler, U.2
-
14
-
-
38049018460
-
ONTOSEARCH2: Searching and Querying Web Ontologies
-
Pan, J., and Thomas, E. 2006. ONTOSEARCH2: Searching and Querying Web Ontologies. In Proc. of WWW/Internet 2006, 211-218.
-
(2006)
, pp. 211-218
-
-
Pan, J.1
Thomas, E.2
-
15
-
-
1642351286
-
OWL Web Ontology Language Semantics and Abstract Syntax
-
Technical report, W3C. W3C Recommendation. Pellet. 2003
-
Patel-Schneider, P. F.; Hayes, P.; and Horrocks, I. 2004. OWL Web Ontology Language Semantics and Abstract Syntax. Technical report, W3C. W3C Recommendation. Pellet. 2003. http://www.mindswap.org/2003/pellet/.
-
(2004)
-
-
Patel-Schneider, P.F.1
Hayes, P.2
Horrocks, I.3
-
16
-
-
0029290445
-
Tractable reasoning via approximation
-
Schaerf, M., and Cadoli, M. 1995. Tractable reasoning via approximation. Artificial Intelligence 74:249-310.
-
(1995)
Artificial Intelligence
, vol.74
, pp. 249-310
-
-
Schaerf, M.1
Cadoli, M.2
-
17
-
-
0030102186
-
Knowledge Compilation and Theory Approximation
-
Selman, B., and Kautz, H. 1996. Knowledge Compilation and Theory Approximation. Journal of the ACM (JACM) 43(2): 193-224.
-
(1996)
Journal of the ACM (JACM)
, vol.43
, Issue.2
, pp. 193-224
-
-
Selman, B.1
Kautz, H.2
-
18
-
-
0142131356
-
OWL Web Ontology Language Guide
-
Technical report, W3C Recommendation
-
Smith, M. K.; Welty, C.; and McGuinness, D. L. 2004. OWL Web Ontology Language Guide. Technical report, W3C Recommendation.
-
(2004)
-
-
Smith, M.K.1
Welty, C.2
McGuinness, D.L.3
|