-
2
-
-
33750227942
-
Web Rule Language (WRL)
-
Available at
-
Angele, J.; Boley, H.; de Bruijn, J.; Fensel, D.; Hitzler, P.; Kifer, M.; Krummenacher, R.; Lausen, H.; Polleres, A.; and Studer, R. 2005. Web Rule Language (WRL). W3C Member Submission. Available at http://www.w3.org/ Submission/WRL/.
-
(2005)
W3C Member Submission
-
-
Angele, J.1
Boley, H.2
De Bruijn, J.3
Fensel, D.4
Hitzler, P.5
Kifer, M.6
Krummenacher, R.7
Lausen, H.8
Polleres, A.9
Studer, R.10
-
3
-
-
84866249230
-
Nonmonotonic rule systems on top of ontology layers
-
Proc. ISWC-2002, Springer
-
Antoniou, G. 2002. Nonmonotonic rule systems on top of ontology layers. In Proc. ISWC-2002, volume 2342 of LNCS, 394-398. Springer.
-
(2002)
LNCS
, vol.2342
, pp. 394-398
-
-
Antoniou, G.1
-
4
-
-
77957599502
-
Pushing the e L envelope
-
Professional Book Center
-
Baader, F.; Brandt, S.; and Lutz, C. 2005. Pushing the E L envelope. In Proc. IJCAI-2005, 364-369. Professional Book Center.
-
(2005)
Proc. IJCAI-2005
, pp. 364-369
-
-
Baader, F.1
Brandt, S.2
Lutz, C.3
-
5
-
-
34250083934
-
Dualities between alternative semantics for logic programming and nonmonotonic reasoning
-
Baral, C., and Subrahmanian, V. S. 1993. Dualities between alternative semantics for logic programming and nonmonotonic reasoning. J. Autom. Reasoning 10(3):399-420.
-
(1993)
J. Autom. Reasoning
, vol.10
, Issue.3
, pp. 399-420
-
-
Baral, C.1
Subrahmanian, V.S.2
-
6
-
-
78449283182
-
Querying the guarded fragment
-
IEEE Computer Society
-
Bárány, V.; Gottlob, G.; and Otto, M. 2010. Querying the guarded fragment. In Proc. LICS-2010, 1-10. IEEE Computer Society.
-
(2010)
Proc. LICS-2010
, pp. 1-10
-
-
Bárány, V.1
Gottlob, G.2
Otto, M.3
-
7
-
-
84976783056
-
The implication problem for data dependencies
-
Proc. ICALP-1981, Springer
-
Beeri, C., and Vardi, M. Y. 1981. The implication problem for data dependencies. In Proc. ICALP-1981, volume 115 of LNCS, 73-85. Springer.
-
(1981)
LNCS
, vol.115
, pp. 73-85
-
-
Beeri, C.1
Vardi, M.Y.2
-
9
-
-
84860514494
-
Taming the infinite chase: Query answering under expressive relational constraints
-
AAAI Press. Revised version
-
Calì, A.; Gottlob, G.; and Kifer, M. 2008. Taming the infinite chase: Query answering under expressive relational constraints. In Proc. KR-2008, 70-80. AAAI Press. Revised version: http://www.dbai.tuwien.ac.at/staff/ gottlob/CGK.pdf.
-
(2008)
Proc. KR-2008
, pp. 70-80
-
-
Calì, A.1
Gottlob, G.2
Kifer, M.3
-
10
-
-
84862010071
-
A general Datalog-based framework for tractable query answering over ontologies
-
In press
-
Call, A.; Gottlob, G.; and Lukasiewicz, T. 2012. A general Datalog-based framework for tractable query answering over ontologies. In J. Web Sem. In press.
-
(2012)
J. Web Sem.
-
-
Call, A.1
Gottlob, G.2
Lukasiewicz, T.3
-
11
-
-
34548305118
-
Tractable reasoning and efficient query answering in description logics: The DL-Lite family
-
Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2007. Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. Autom. Reasoning 39(3):385-429.
-
(2007)
J. Autom. Reasoning
, vol.39
, Issue.3
, pp. 385-429
-
-
Calvanese, D.1
De Giacomo, G.2
Lembo, D.3
Lenzerini, M.4
Rosati, R.5
-
12
-
-
0032070541
-
AL-log: Integrating Datalog and description logics
-
Donini, F. M.; Lenzerini, M.; Nardi, D.; and Schaerf, A. 1998. AL-log: Integrating Datalog and description logics. J. Intell. Inf. Syst. 10(3):227-252.
-
(1998)
J. Intell. Inf. Syst.
, vol.10
, Issue.3
, pp. 227-252
-
-
Donini, F.M.1
Lenzerini, M.2
Nardi, D.3
Schaerf, A.4
-
13
-
-
38149124787
-
Well-founded semantics for hybrid rules
-
Proc. RR-2007, Springer
-
Drabent, W., and Małuszyński, J. 2007. Well-founded semantics for hybrid rules. In Proc. RR-2007, volume 4524 of LNCS, 1-15. Springer.
-
(2007)
LNCS
, vol.4524
, pp. 1-15
-
-
Drabent, W.1
Małuszyński, J.2
-
14
-
-
76249092810
-
FDNC: Decidable non-monotonic disjunctive logic programs with function symbols
-
Eiter, T., and Simkus, M. 2010. FDNC: Decidable non-monotonic disjunctive logic programs with function symbols. ACM Trans. Comput. Log. 11(2).
-
(2010)
ACM Trans. Comput. Log.
, vol.11
, Issue.2
-
-
Eiter, T.1
Simkus, M.2
-
15
-
-
77249173466
-
Well-founded semantics for description logic programs in the Semantic Web
-
Proc. RuleML-2004, Springer
-
Eiter, T.; Lukasiewicz, T.; Schindlauer, R.; and Tompits, H. 2004. Well-founded semantics for description logic programs in the Semantic Web. In Proc. RuleML-2004, volume 3323 of LNCS, 81-97. Springer.
-
(2004)
LNCS
, vol.3323
, pp. 81-97
-
-
Eiter, T.1
Lukasiewicz, T.2
Schindlauer, R.3
Tompits, H.4
-
16
-
-
84880721144
-
A uniform integration of higher-order reasoning and external evaluations in answer-set programming
-
Professional Book Center
-
Eiter, T.; Ianni, G.; Schindlauer, R.; and Tompits, H. 2005. A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In Proc. IJCAI-2005, 90-96. Professional Book Center.
-
(2005)
Proc. IJCAI-2005
, pp. 90-96
-
-
Eiter, T.1
Ianni, G.2
Schindlauer, R.3
Tompits, H.4
-
17
-
-
46549089044
-
Combining answer set programming with description logics for the Semantic Web
-
Eiter, T.; Ianni, G.; Lukasiewicz, T.; Schindlauer, R.; and Tompits, H. 2008. Combining answer set programming with description logics for the Semantic Web. Artif. Intell. 172(12/13):1495-1539.
-
(2008)
Artif. Intell.
, vol.172
, Issue.12-13
, pp. 1495-1539
-
-
Eiter, T.1
Ianni, G.2
Lukasiewicz, T.3
Schindlauer, R.4
Tompits, H.5
-
18
-
-
0002324991
-
Guarded fixed point logic
-
IEEE Computer Society
-
Grädel, E., and Walukiewicz, I. 1999. Guarded fixed point logic. In Proc. LICS-1999, 45-54. IEEE Computer Society.
-
(1999)
Proc. LICS-1999
, pp. 45-54
-
-
Grädel, E.1
Walukiewicz, I.2
-
19
-
-
0039064922
-
On the restraining power of guards
-
Grädel, E. 1999. On the restraining power of guards. J. Symb. Log. 64(4):1719-1742.
-
(1999)
J. Symb. Log.
, vol.64
, Issue.4
, pp. 1719-1742
-
-
Grädel, E.1
-
20
-
-
84880493386
-
Description logic programs: Combining logic programs with description logics
-
ACM Press
-
Grosof, B. N.; Horrocks, I.; Volz, R.; and Decker, S. 2003. Description logic programs: Combining logic programs with description logics. In Proc. WWW-2003,48-57. ACM Press.
-
(2003)
Proc. WWW-2003
, pp. 48-57
-
-
Grosof, B.N.1
Horrocks, I.2
Volz, R.3
Decker, S.4
-
21
-
-
62949179410
-
Integrating semantic web reasoning and answer set programming
-
Proc. ASP-2003, CEUR-WS.org
-
Heymans, S., and Vermeir, D. 2003. Integrating semantic web reasoning and answer set programming. In Proc. ASP-2003, volume 78 of CEUR Workshop Proceedings, 194-208. CEUR-WS.org.
-
(2003)
CEUR Workshop Proceedings
, vol.78
, pp. 194-208
-
-
Heymans, S.1
Vermeir, D.2
-
22
-
-
26444512164
-
Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs
-
Proc. ESWC-2005, Springer
-
Heymans, S.; Nieuwenborgh, D. V.; and Vermeir, D. 2005. Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs. In Proc. ESWC-2005, volume 3532 of LNCS, 392-407. Springer.
-
(2005)
LNCS
, vol.3532
, pp. 392-407
-
-
Heymans, S.1
Nieuwenborgh, D.V.2
Vermeir, D.3
-
23
-
-
17644419220
-
SWRL: A Semantic Web rule language combining OWL and RuleML
-
Available at
-
Horrocks, I.; Patel-Schneider, P. F.; Boley, H.; Tabet, S.; Grosof, B.; and Dean, M. 2004. SWRL: A Semantic Web rule language combining OWL and RuleML. W3C Member Submission. Available at http://www.w3.org/Submission/SWRL/.
-
(2004)
W3C Member Submission
-
-
Horrocks, I.1
Patel-Schneider, P.F.2
Boley, H.3
Tabet, S.4
Grosof, B.5
Dean, M.6
-
24
-
-
84868329311
-
--description logic to disjunctive Datalog programs
-
AAAI Press
-
--description logic to disjunctive Datalog programs. In Proc. KR-2004, 152-162. AAAI Press.
-
(2004)
Proc. KR-2004
, pp. 152-162
-
-
Hustadt, U.1
Motik, B.2
Sattler, U.3
-
25
-
-
79953847776
-
Local closed world reasoning with description logics under the well-founded semantics
-
Knorr, M.; Alferes, J. J.; and Hitzler, P. 2011. Local closed world reasoning with description logics under the well-founded semantics. Artif. Intell. 175(9/10):1528-1554.
-
(2011)
Artif. Intell.
, vol.175
, Issue.9-10
, pp. 1528-1554
-
-
Knorr, M.1
Alferes, J.J.2
Hitzler, P.3
-
26
-
-
0032156942
-
Combining Horn rules and description logics in CARIN
-
Levy, A. Y., and Rousset, M.-C. 1998. Combining Horn rules and description logics in CARIN. Artif. Intell. 104(1/2):165-209.
-
(1998)
Artif. Intell.
, vol.104
, Issue.1-2
, pp. 165-209
-
-
Levy, A.Y.1
Rousset, M.-C.2
-
27
-
-
84880854013
-
A faithful integration of description logics with logic programming
-
AAAI Press/IJCAI
-
Motik, B., and Rosati, R. 2007. A faithful integration of description logics with logic programming. In Proc. IJCAI-2007, 477-482. AAAI Press/IJCAI.
-
(2007)
Proc. IJCAI-2007
, pp. 477-482
-
-
Motik, B.1
Rosati, R.2
-
28
-
-
33845431597
-
Can OWL and logic programming live together happily ever after?
-
Proc. ISWC-2006, Springer
-
Motik, B.; Horrocks, I.; Rosati, R.; and Sattler, U. 2006. Can OWL and logic programming live together happily ever after? In Proc. ISWC-2006, volume 4273 of LNCS, 501-514. Springer.
-
(2006)
LNCS
, vol.4273
, pp. 501-514
-
-
Motik, B.1
Horrocks, I.2
Rosati, R.3
Sattler, U.4
-
29
-
-
21244502056
-
Query answering for OWL-DL with rules
-
Motik, B.; Sattler, U.; and Studer, R. 2005. Query answering for OWL-DL with rules. J. Web Sem. 3(1):41-60.
-
(2005)
J. Web Sem.
, vol.3
, Issue.1
, pp. 41-60
-
-
Motik, B.1
Sattler, U.2
Studer, R.3
-
30
-
-
67549104757
-
Linking data to ontologies
-
Poggi, A.; Lembo, D.; Calvanese, D.; De Giacomo, G.; Lenzerini, M.; and Rosati, R. 2008. Linking data to ontologies. J. Data Semantics 10:133-173.
-
(2008)
J. Data Semantics
, vol.10
, pp. 133-173
-
-
Poggi, A.1
Lembo, D.2
Calvanese, D.3
De Giacomo, G.4
Lenzerini, M.5
Rosati, R.6
-
31
-
-
21244492715
-
On the decidability and complexity of integrating ontologies and rules
-
Rosati, R. 2005. On the decidability and complexity of integrating ontologies and rules. J. Web Sem. 3(1):61-73.
-
(2005)
J. Web Sem.
, vol.3
, Issue.1
, pp. 61-73
-
-
Rosati, R.1
-
32
-
-
84860600786
-
DL+log: Tight integration of description logics and disjunctive Datalog
-
AAAI Press
-
Rosati, R. 2006. DL+log: Tight integration of description logics and disjunctive Datalog. In Proc. KR-2006, 68-78. AAAI Press.
-
(2006)
Proc. KR-2006
, pp. 68-78
-
-
Rosati, R.1
-
33
-
-
84866254671
-
TRIPLE - A query, inference, and transformation language for the Semantic Web
-
Proc. ISWC-2002, Springer
-
Sintek, M., and Decker, S. 2002. TRIPLE - A query, inference, and transformation language for the Semantic Web. In Proc. ISWC-2002, volume 2342 of LNCS, 364-378. Springer.
-
(2002)
LNCS
, vol.2342
, pp. 364-378
-
-
Sintek, M.1
Decker, S.2
-
34
-
-
9644264057
-
Deduction in ontologies via ASP
-
Proc. LPNMR-2004, Springer
-
Swift, T. 2004. Deduction in ontologies via ASP. In Proc. LPNMR-2004, volume 2923 of LNCS, 275-288. Springer.
-
(2004)
LNCS
, vol.2923
, pp. 275-288
-
-
Swift, T.1
-
36
-
-
71149116148
-
The well-founded semantics for general logic programs
-
van Gelder, A.; Ross, K. A.; and Schlipf, J. S. 1991. The well-founded semantics for general logic programs. J. ACM 38(3):620-650.
-
(1991)
J. ACM
, vol.38
, Issue.3
, pp. 620-650
-
-
Van Gelder, A.1
Ross, K.A.2
Schlipf, J.S.3
|