-
3
-
-
46549089044
-
-
Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. AI 172(12- 13) (2008) 1495-1539
-
(2008)
Combining Answer Set Programming with Description Logics for the Semantic Web AI
, vol.172
, Issue.12-13
, pp. 1495-1539
-
-
Eiter, T.1
Ianni, G.2
Lukasiewicz, T.3
Schindlauer, R.4
Tompits, H.5
-
5
-
-
84880858606
-
EQL-Lite: Effective first-order query processing in description logics
-
Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: EQL-Lite: Effective first-order query processing in description logics. In: IJCAI2007. (2007) 274-279
-
(2007)
IJCAI2007
, pp. 274-279
-
-
Calvanese, D.1
Giacomo, G.D.2
Lembo, D.3
Lenzerini, M.4
Rosati, R.5
-
6
-
-
0032048251
-
-
Donini, F.M., Lenzerini, M., Nardi, D., Nutt, W., Schaerf, A.: An epistemic operator for description logics. AI 100(1-2) (1998) 225-274
-
(1998)
An Epistemic Operator for Description Logics, AI
, vol.100
, Issue.1-2
, pp. 225-274
-
-
Donini, F.M.1
Lenzerini, M.2
Nardi, D.3
Nutt, W.4
Schaerf, A.5
-
7
-
-
78650230253
-
Description logics of minimal knowledge and negation as failure
-
Donini, F.M., Nardi, D., Rosati, R.: Description logics of minimal knowledge and negation as failure. ACM Transactions on Computational Logic 3 (2002) 177-225
-
(2002)
ACM Transactions on Computational Logic
, vol.3
, pp. 177-225
-
-
Donini, F.M.1
Nardi, D.2
Rosati, R.3
-
8
-
-
35348840321
-
Bridging the gap between OWL and relational databases
-
Motik, B., Horrocks, I., Sattler, U.: Bridging the gap between OWL and relational databases. In: WWW2007. (2007) 807-816
-
(2007)
WWW2007
, pp. 807-816
-
-
Motik, B.1
Horrocks, I.2
Sattler, U.3
-
9
-
-
84860548736
-
The even more irresistible SROIQ
-
Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: KR2006. (2006) 57-67
-
(2006)
KR2006
, pp. 57-67
-
-
Horrocks, I.1
Kutz, O.2
Sattler, U.3
-
11
-
-
0040377618
-
On integrity constraints
-
Reiter, R.: On integrity constraints. In: TARK1988. (1988) 97-111
-
(1988)
TARK1988
, pp. 97-111
-
-
Reiter, R.1
-
13
-
-
78449236885
-
Integrity constraints in OWL
-
Rensselaer Polytechnic Institute, Troy, NY, USA
-
Tao, J., Sirin, E., Bao, J., McGuinness, D.: Integrity constraints in OWL. Technical report, Rensselaer Polytechnic Institute, Troy, NY, USA (2010)
-
(2010)
Technical Report
-
-
Tao, J.1
Sirin, E.2
Bao, J.3
McGuinness, D.4
-
15
-
-
57349165912
-
The expressive power of SPARQL
-
Angles, R., Gutierrez, C.: The expressive power of SPARQL. In: ISWC2008. (2008) 114-129
-
(2008)
ISWC2008
, pp. 114-129
-
-
Angles, R.1
Gutierrez, C.2
|