-
1
-
-
38949150001
-
-
S. Anwar et al. A language for modular ASP: application to ACC tournament scheduling. ASP, 2005.
-
S. Anwar et al. A language for modular ASP: application to ACC tournament scheduling. ASP, 2005.
-
-
-
-
2
-
-
33750956762
-
An Event Condition Action Language for XML
-
J. Bailey, A. Poulovassilis, P.T. Wood. An Event Condition Action Language for XML. WWW, pp. 486-495, 2002.
-
(2002)
, pp. 486-495
-
-
Bailey, J.1
Poulovassilis, A.2
Wood, P.T.3
-
3
-
-
33750256251
-
-
N. Bassiliades et al. DR-DEVICE, a Defeasible Logic Reasoner for the Semantic Web. Int. Journal on Semantic Web and Information Systems, 2(1): 1-41, 2006.
-
N. Bassiliades et al. DR-DEVICE, a Defeasible Logic Reasoner for the Semantic Web. Int. Journal on Semantic Web and Information Systems, 2(1): 1-41, 2006.
-
-
-
-
4
-
-
38949200212
-
Macros, macro calls, and use of ensembles in modular answer set programming
-
Springer
-
C. Baral et al. Macros, macro calls, and use of ensembles in modular answer set programming. ICLP, Springer, 2006.
-
(2006)
ICLP
-
-
Baral, C.1
-
6
-
-
38949182261
-
-
H. Boley, B. Grosof, M. Sintek, S. Tabe, G. Wagner. RuleML Design, Version 0.8. 2002-09-03, 2002
-
H. Boley, B. Grosof, M. Sintek, S. Tabe, G. Wagner. RuleML Design, Version 0.8. 2002-09-03, 2002.
-
-
-
-
8
-
-
38949198651
-
Reactivity on the Web: Paradigms and Applications of the Language XChange
-
ACM Press
-
F. Bry and P-L. Patranjan. Reactivity on the Web: Paradigms and Applications of the Language XChange. ACM SAC, ACM Press, 2005.
-
(2005)
ACM SAC
-
-
Bry, F.1
Patranjan, P.-L.2
-
10
-
-
38949212144
-
-
H. Chan and B. Grosof. CommonRules. http://www. alphaworks.ibm.com/tech/ commonrules, 1999.
-
H. Chan and B. Grosof. CommonRules. http://www. alphaworks.ibm.com/tech/ commonrules, 1999.
-
-
-
-
12
-
-
77249122278
-
Combining ASP with Description Logics for the Semantic Web
-
T. Eiter et al. Combining ASP with Description Logics for the Semantic Web. KR, pp. 141-151, 2004.
-
(2004)
KR
, pp. 141-151
-
-
Eiter, T.1
-
13
-
-
33749984303
-
Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning
-
Springer
-
T. Eiter et al. Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning. ESWC, Springer, 2006.
-
(2006)
ESWC
-
-
Eiter, T.1
-
14
-
-
33747176804
-
A Tool for Knowledge Base Integration and Querying
-
AAAI Press
-
O. Elkhatib et al. A Tool for Knowledge Base Integration and Querying. AAAI Spring Symp., AAAI Press, 2006.
-
(2006)
AAAI Spring Symp
-
-
Elkhatib, O.1
-
16
-
-
77249113876
-
Combining Rule and Ontology Reasoners for the Semantic Web
-
Springer Verlag, pp
-
C. Golbreich. Combining Rule and Ontology Reasoners for the Semantic Web. RuleML, Springer Verlag, pp. 6-22, 2004.
-
(2004)
RuleML
, pp. 6-22
-
-
Golbreich, C.1
-
17
-
-
38949092854
-
-
D. Hirtle, H. Boley. The Modularization of RuleML. 2005-12-15, 2005.
-
D. Hirtle, H. Boley. The Modularization of RuleML. 2005-12-15, 2005.
-
-
-
-
18
-
-
33847049236
-
SWRL: A Semantic Web Rule Language Combining OWL and RuleML
-
I. Horrocks et al. SWRL: a Semantic Web Rule Language Combining OWL and RuleML. W3C Member Submission SUBM-SWRL-20040521, 2004.
-
(2004)
Member Submission SUBM-SWRL-20040521
, vol.W3C
-
-
Horrocks, I.1
-
19
-
-
33646832882
-
A Realistic Architecture for the Semantic Web
-
Springer Verlag, pp
-
M. Kifer et al. A Realistic Architecture for the Semantic Web. RuleML, Springer Verlag, pp. 17-29, 2005.
-
(2005)
RuleML
, pp. 17-29
-
-
Kifer, M.1
-
20
-
-
77249109511
-
SweetProlog: A System to Integrate Ontologies and Rules
-
Springer Verlag, pp
-
L. Laera, V. Tamma, T. Bench-Capon, G. Semeraro. SweetProlog: a System to Integrate Ontologies and Rules. RuleML, Springer Verlag, pp. 188-193, 2004.
-
(2004)
RuleML
, pp. 188-193
-
-
Laera, L.1
Tamma, V.2
Bench-Capon, T.3
Semeraro, G.4
-
21
-
-
33750053747
-
Active Rules in the Semantic Web: Dealing with Language Heterogeneity
-
Springer
-
W. May et al. Active Rules in the Semantic Web: Dealing with Language Heterogeneity. RuleML, Springer, 2005.
-
(2005)
RuleML
-
-
May, W.1
-
22
-
-
38949124359
-
The DLV Java Wrapper
-
F. Ricca. The DLV Java Wrapper. APPIA-GULP-PRODE, pp. 263-274, 2003.
-
(2003)
APPIA-GULP-PRODE
, pp. 263-274
-
-
Ricca, F.1
-
23
-
-
33646846805
-
Design and Implementation of an ECA Rule Markup Language
-
Springer Verlag, pp
-
M. Seiriö, M. Berndtsson. Design and Implementation of an ECA Rule Markup Language. RuleML, Springer Verlag, pp. 98-112, 2005.
-
(2005)
RuleML
, pp. 98-112
-
-
Seiriö, M.1
Berndtsson, M.2
-
24
-
-
38949127615
-
-
B. Spencer. The Design of j-DREW, a Deductive Reasoning Engine for the Semantic Web.www.cs.unb.ca/bspencer/dagstuhl-jdrew.pdf, 2002.
-
B. Spencer. The Design of j-DREW, a Deductive Reasoning Engine for the Semantic Web.www.cs.unb.ca/"bspencer/dagstuhl-jdrew.pdf, 2002.
-
-
-
|