-
1
-
-
0020849266
-
Maintaining Knowledge about Temporal Intervals
-
Allen, J.F.: Maintaining Knowledge about Temporal Intervals. Communications of the ACM 26(11), 832-843 (1983)
-
(1983)
Communications of the ACM
, vol.26
, Issue.11
, pp. 832-843
-
-
Allen, J.F.1
-
2
-
-
0034563240
-
A survey of temporal extensions of description logics
-
DOI 10.1023/A:1016636131405, TEMPORAL REPRESENTATION AND REASONING
-
Artale, A., Franconi, E.: A survey of temporal extensions of description logics. Annals of Mathematics and Artificial Intelligence 30(1-4), 171-210 (2000) (Pubitemid 33282723)
-
(2000)
Annals of Mathematics and Artificial Intelligence
, vol.30
, Issue.1-4
, pp. 171-210
-
-
Artale, A.1
Franconi, E.2
-
3
-
-
0003727420
-
-
2nd edn. Cambridge University Press, Cambridge August
-
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications, 2nd edn. Cambridge University Press, Cambridge (August 2007)
-
(2007)
The Description Logic Handbook: Theory, Implementation and Applications
-
-
Baader, F.1
Calvanese, D.2
McGuinness, D.3
Nardi, D.4
Patel-Schneider, P.F.5
-
4
-
-
84979075364
-
Temporal Query Languages: A Survey
-
Chomicki, J.: Temporal Query Languages: A Survey. In: Proc. ICTL, pp. 506-534 (1994)
-
(1994)
Proc. ICTL
, pp. 506-534
-
-
Chomicki, J.1
-
5
-
-
0003631434
-
First-Order Logic and Automated Theorem Proving
-
2nd edn. Springer, Heidelberg
-
Fitting, M.: First-Order Logic and Automated Theorem Proving, 2nd edn. Texts in Computer Science. Springer, Heidelberg (1996)
-
(1996)
Texts in Computer Science
-
-
Fitting, M.1
-
6
-
-
3142742324
-
Foundations of Semantic Web Databases
-
Gutiérrez, C., Hurtado, C.A., Mendelzon, A.O.: Foundations of Semantic Web Databases. In: Proc. PODS, pp. 95-106 (2004)
-
(2004)
Proc. PODS
, pp. 95-106
-
-
Gutiérrez, C.1
Hurtado, C.A.2
Mendelzon, A.O.3
-
7
-
-
33846259687
-
Introducing Time into RDF
-
Gutierrez, C., Hurtado, C.A., Vaisman, A.A.: Introducing Time into RDF. IEEE Transactions on Knowledge and Data Engineering 19(2), 207-218 (2007)
-
(2007)
IEEE Transactions on Knowledge and Data Engineering
, vol.19
, Issue.2
, pp. 207-218
-
-
Gutierrez, C.1
Hurtado, C.A.2
Vaisman, A.A.3
-
9
-
-
33845191049
-
Reasoning with Temporal Constraints in RDF
-
Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. Springer, Heidelberg
-
Hurtado, C.A., Vaisman, A.A.: Reasoning with Temporal Constraints in RDF. In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. LNCS, vol. 4187, pp. 164-178. Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.4187
, pp. 164-178
-
-
Hurtado, C.A.1
Vaisman, A.A.2
-
10
-
-
51749116726
-
Knowledge Engineering in a Temporal Semantic Web Context
-
Milea, V., Frasincar, F., Kaymak, U.: Knowledge Engineering in a Temporal Semantic Web Context. In: Proc. ICWE, pp. 65-74 (2008)
-
(2008)
Proc. ICWE
, pp. 65-74
-
-
Milea, V.1
Frasincar, F.2
Kaymak, U.3
-
11
-
-
77954416603
-
OWL 2 Web Ontology Language: Profiles
-
October 27
-
Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C.: OWL 2 Web Ontology Language: Profiles. W3C Recommendation (October 27, 2009)
-
(2009)
W3C Recommendation
-
-
Motik, B.1
Cuenca Grau, B.2
Horrocks, I.3
Wu, Z.4
Fokoue, A.5
Lutz, C.6
-
12
-
-
77954459080
-
OWL 2 Web Ontology Language: Structural Specification and Functional-Style Syntax
-
October 27
-
Motik, B., Patel-Schneider, P.F., Parsia, B.: OWL 2 Web Ontology Language: Structural Specification and Functional-Style Syntax, W3C Recommendation (October 27, 2009)
-
(2009)
W3C Recommendation
-
-
Motik, B.1
Patel-Schneider, P.F.2
Parsia, B.3
-
13
-
-
78650870881
-
OWL 2 Web Ontology Language: Mapping to RDF Graphs
-
October 27
-
Patel-Schneider, P.F., Motik, B.: OWL 2 Web Ontology Language: Mapping to RDF Graphs, W3C Recommendation (October 27, 2009)
-
(2009)
W3C Recommendation
-
-
Patel-Schneider, P.F.1
Motik, B.2
-
14
-
-
70349088138
-
Semantics and complexity of SPARQL
-
Pérez, J., Arenas, M., Gutierrez, C.: Semantics and complexity of SPARQL. ACM Transactions on Database Systems 34(3) (2009)
-
(2009)
ACM Transactions on Database Systems
, vol.34
, Issue.3
-
-
Pérez, J.1
Arenas, M.2
Gutierrez, C.3
-
15
-
-
57349088658
-
Scaling RDF with Time
-
Pugliese, A., Udrea, O., Subrahmanian, V.S.: Scaling RDF with Time. In: Proc. WWW, pp. 605-614 (2008)
-
(2008)
Proc. WWW
, pp. 605-614
-
-
Pugliese, A.1
Udrea, O.2
Subrahmanian, V.S.3
-
16
-
-
78650914975
-
OWL 2Web Ontology Language: RDF-Based Semantics
-
October 27
-
Schneider, M.: OWL 2Web Ontology Language: RDF-Based Semantics, W3C Recommendation (October 27, 2009)
-
(2009)
W3C Recommendation
-
-
Schneider, M.1
-
17
-
-
80054070805
-
A General Framework for Representing and Reasoning with Annotated Semantic Web Data
-
Straccia, U., Lopes, N., Lukácsy, G., Polleres, A.: A General Framework for Representing and Reasoning with Annotated Semantic Web Data. In: Proc. AAAI (2010)
-
Proc. AAAI (2010)
-
-
Straccia, U.1
Lopes, N.2
Lukácsy, G.3
Polleres, A.4
-
18
-
-
69849101247
-
Applied Temporal RDF: Efficient Temporal Querying of RDF Data with SPARQL
-
Aroyo, L., Traverso, P., Ciravegna, F., Cimiano, P., Heath, T., Hyvönen, E., Mizoguchi, R., Oren, E., Sabou, M., Simperl, E. (eds.) ESWC 2009. Springer, Heidelberg
-
Tappolet, J., Bernstein, A.: Applied Temporal RDF: Efficient Temporal Querying of RDF Data with SPARQL. In: Aroyo, L., Traverso, P., Ciravegna, F., Cimiano, P., Heath, T., Hyvönen, E., Mizoguchi, R., Oren, E., Sabou, M., Simperl, E. (eds.) ESWC 2009. LNCS, vol. 5554, pp. 308-322. Springer, Heidelberg (2009)
-
(2009)
LNCS
, vol.5554
, pp. 308-322
-
-
Tappolet, J.1
Bernstein, A.2
-
19
-
-
0028392588
-
A Survey on Temporal Reasoning in Artificial Intelligence
-
Vila, L.: A Survey on Temporal Reasoning in Artificial Intelligence. AI Communications 7(1), 4-28 (1994)
-
(1994)
AI Communications
, vol.7
, Issue.1
, pp. 4-28
-
-
Vila, L.1
|