-
1
-
-
0021466185
-
A general model of action and time
-
Allen, J. F. 1984. A general model of action and time. Artificial Intelligence 23(2): 123-154.
-
(1984)
Artificial Intelligence
, vol.23
, Issue.2
, pp. 123-154
-
-
Allen, J.F.1
-
3
-
-
34548272754
-
An overview of tableau algorithms for description logics
-
Baader, F., and Sattler, U. 2001. An overview of tableau algorithms for description logics. Studia Logica 69:5-40.
-
(2001)
Studia Logica
, vol.69
, pp. 5-40
-
-
Baader, F.1
Sattler, U.2
-
4
-
-
0003727420
-
-
Cambridge: Cambridge University Press
-
Baader, F.; Calvanese, D.; McGuinness, D.; Nardi, D.; and Patel-Schneider, P. 2003. The Description Logic Handbook. Cambridge: Cambridge University Press.
-
(2003)
The Description Logic Handbook
-
-
Baader, F.1
Calvanese, D.2
McGuinness, D.3
Nardi, D.4
Patel-Schneider, P.5
-
9
-
-
7944220884
-
RDF semantics
-
Technical report
-
Hayes, P. 2004. RDF semantics. Technical report, W3C.
-
(2004)
-
-
Hayes, P.1
-
11
-
-
33847049236
-
SWRL: A semantic web rule language combining OWL and RuleML
-
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.
-
(2004)
Member Submission
, vol.W3C
-
-
Horrocks, I.1
Patel-Schneider, P.F.2
Boley, H.3
Tabet, S.4
Grosof, B.5
Dean, M.6
-
12
-
-
52649162601
-
-
Kiryakov, A. 2006. OWLIM: balancing between scalable repository and light-weight reasoner. Developer's Track, WWW2006.
-
Kiryakov, A. 2006. OWLIM: balancing between scalable repository and light-weight reasoner. Developer's Track, WWW2006.
-
-
-
-
14
-
-
0347354973
-
Combining interval-based temporal reasoning with general TBoxes
-
Lutz, C. 2004. Combining interval-based temporal reasoning with general TBoxes. Artificial Intelligence 152(2):235-274.
-
(2004)
Artificial Intelligence
, vol.152
, Issue.2
, pp. 235-274
-
-
Lutz, C.1
-
15
-
-
5444246382
-
RDF primer
-
Technical report, W3C. 10 February
-
Manola, F., and Miller, E. 2004. RDF primer. Technical report, W3C. 10 February.
-
(2004)
-
-
Manola, F.1
Miller, E.2
-
16
-
-
33646675765
-
WonderWeb deliverable d17. the wonderweb library of foundational ontologies
-
Technical report, ISTC-CNR
-
Masolo, C.; Borgo, S.; Gangemi, A.; Guarino, N.; Oltramari, A.; and Schneider, L. 2003. WonderWeb deliverable d17. the wonderweb library of foundational ontologies, preliminary report. Technical report, ISTC-CNR.
-
(2003)
preliminary report
-
-
Masolo, C.1
Borgo, S.2
Gangemi, A.3
Guarino, N.4
Oltramari, A.5
Schneider, L.6
-
17
-
-
0014638440
-
Some philosophical problems from the standpoint of artificial intelligence
-
Meltzer, B, and Michie, D, eds, Edinburgh University Press
-
McCarthy, J., and Hayes, P. J. 1969. Some philosophical problems from the standpoint of artificial intelligence. In Meltzer, B., and Michie, D., eds., Machine Intelligence 4. Edinburgh University Press. 463-502.
-
(1969)
Machine Intelligence 4
, pp. 463-502
-
-
McCarthy, J.1
Hayes, P.J.2
-
18
-
-
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 Proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, 227-241.
-
(2006)
Proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
, pp. 227-241
-
-
Motik, B.1
Sattler, U.2
-
20
-
-
52649133055
-
Representation and reasoning with attributive descriptions
-
Technical Report, IBM Germany
-
Nebel, B., and Smolka, G. 1989. Representation and reasoning with attributive descriptions. Technical Report, IBM Germany.
-
(1989)
-
-
Nebel, B.1
Smolka, G.2
-
21
-
-
33646413170
-
Supporting rule system interoperability on the semantic web with SWRL
-
O'Connor, M.; Knublauch, H.; Tu, S.; Grosof, B.; Dean, M.; Grosso, W.; and Musen, M. 2005. Supporting rule system interoperability on the semantic web with SWRL. In Proceedings of the International Semantic Web Conference (ISWC).
-
(2005)
Proceedings of the International Semantic Web Conference (ISWC)
-
-
O'Connor, M.1
Knublauch, H.2
Tu, S.3
Grosof, B.4
Dean, M.5
Grosso, W.6
Musen, M.7
-
22
-
-
52649114496
-
-
Ontotext. 2007. SwiftOWLIM semantic repository for RDF(S) and OWL, ver. 2.9.0
-
Ontotext. 2007. SwiftOWLIM semantic repository for RDF(S) and OWL, ver. 2.9.0.
-
-
-
-
23
-
-
52649119458
-
From TimeML to TPL
-
Annotating, Extracting and Reasoning about Time and Events
-
Pratt-Hartmann, I. 2005. From TimeML to TPL*. In Proceedings of the Dagstuhl Seminar Annotating, Extracting and Reasoning about Time and Events.
-
(2005)
Proceedings of the Dagstuhl Seminar
-
-
Pratt-Hartmann, I.1
-
24
-
-
15744362188
-
SPARQL query language for RDF
-
Technical report, W3C. W3C Candidate Recommendation
-
Prud'hommeaux, E., and Seaborne, A. 2007. SPARQL query language for RDF. Technical report, W3C. W3C Candidate Recommendation.
-
(2007)
-
-
Prud'hommeaux, E.1
Seaborne, A.2
-
25
-
-
47749148693
-
TimeML: Robust specification of event and temporal expressions in text
-
Pustejovsky, J.; Castaño, J.; Ingria, R.; Saurí, R.; Gaizauskas, R.; Setzer, A.; and Katz, G. 2003. TimeML: Robust specification of event and temporal expressions in text. In Fifth International Workshop on Computational Semantics, IWCS-5.
-
(2003)
Fifth International Workshop on Computational Semantics, IWCS-5
-
-
Pustejovsky, J.1
Castaño, J.2
Ingria, R.3
Saurí, R.4
Gaizauskas, R.5
Setzer, A.6
Katz, G.7
-
28
-
-
52649138609
-
-
Reynolds, D. 2007. Jena 2 inference support. Version 1.35
-
Reynolds, D. 2007. Jena 2 inference support. Version 1.35.
-
-
-
-
29
-
-
52649111850
-
Subsumption in KL-ONE is Undecidable
-
Technical Report, Universität Kaiserslautern
-
Schmidt-Schauß, M. 1988. Subsumption in KL-ONE is Undecidable. Technical Report, Universität Kaiserslautern.
-
(1988)
-
-
Schmidt-Schauß, M.1
-
30
-
-
0003296786
-
An Introduction to Unification-Based Approaches to Grammar
-
Number, Stanford: Center for the Study of Language and Information
-
Shieber, S. M. 1986. An Introduction to Unification-Based Approaches to Grammar. CSLI Lecture Notes, Number 4. Stanford: Center for the Study of Language and Information.
-
(1986)
CSLI Lecture Notes
, vol.4
-
-
Shieber, S.M.1
-
32
-
-
34249817069
-
Pellet: A practical OWL-DL reasoner
-
Sirin, E.; Parsia, B.; Cuenca-Grau, B.; Kalyanpur, A.; and Katz, Y. 2007. Pellet: A practical OWL-DL reasoner. Journal of Web Semantics 5(2).
-
(2007)
Journal of Web Semantics
, vol.5
, Issue.2
-
-
Sirin, E.1
Parsia, B.2
Cuenca-Grau, B.3
Kalyanpur, A.4
Katz, Y.5
-
33
-
-
52649157231
-
-
Smith, M. K.; Welty, C.; and McGuinness, D. L. 2004. OWL Web Ontology Language Guide. Technical report, W3C. 10 February, ter Horst, H. J. 2005. Combining RDF and part of OWL with rules: Semantics, decidability, complexity. In Proceedings of the International Semantic Web Conference, 668-684.
-
Smith, M. K.; Welty, C.; and McGuinness, D. L. 2004. OWL Web Ontology Language Guide. Technical report, W3C. 10 February, ter Horst, H. J. 2005. Combining RDF and part of OWL with rules: Semantics, decidability, complexity. In Proceedings of the International Semantic Web Conference, 668-684.
-
-
-
|