-
1
-
-
77954344063
-
Open gis consortium topic 5 features
-
Open gis consortium topic 5 features. Internet, 2005. http://portal.opengeospatial.org/-les/?artifactid=890.
-
(2005)
Internet
-
-
-
2
-
-
22144431909
-
A critical evaluation of ontology languages for geographic information retrieval on the Internet
-
August
-
ABDELMOTY, A. I., SMART, P. D., JONES, C. B., FU, G., and FINCH, D. A critical evaluation of ontology languages for geographic information retrieval on the Internet. Journal of Visual Languages & Computing. August 2005, pp. 331-358.
-
(2005)
Journal of Visual Languages & Computing
, pp. 331-358
-
-
Abdelmoty, A.I.1
Smart, P.D.2
Jones, C.B.3
Fu, G.4
Finch, D.5
-
3
-
-
26944461438
-
A strong correspondence between description logics and open logic programming
-
BELLEGHEM, K. V., DENECKER, M., And SCHREYE, D. D. A strong correspondence between description logics and open logic programming. In International Conference on Logic Programming (1997), pp. 346-360.
-
(1997)
International Conference on Logic Programming
, pp. 346-360
-
-
Belleghem, K.V.1
Denecker, M.2
Schreye, D.D.3
-
4
-
-
0242466869
-
Algernon a tractable system for knowledge-representation
-
CRAWFORD, J. M., AND KUIPERS, B. J. Algernon a tractable system for knowledge-representation. SIGART Bull. 2, 3 (1991), 35-44.
-
(1991)
SIGART Bull. 2
, vol.3
, pp. 35-44
-
-
Crawford, J.M.1
Kuipers, B.J.2
-
5
-
-
33646180839
-
Owl dl vs. Owl ight: Conceptual modeling and reasoning for the semantic web
-
AND, (New York, NY, USA), ACM Press
-
DE BRUIJN, J., LARA, R., POLLERES, A., AND FENSEL, D. Owl dl vs. owl ight: conceptual modeling and reasoning for the semantic web. In WWW '05: Proceedings of the 14th international conference on World Wide Web (New York, NY, USA, 2005), ACM Press, pp. 623-632.
-
(2005)
WWW '05: Proceedings of the 14th International Conference on World Wide Web
, pp. 623-632
-
-
De Bruijn, J.1
Lara, R.2
Polleres, A.3
Fensel, D.4
-
6
-
-
77954335754
-
Ops5 reference manual
-
Carnegie-Mellon University, Pittsburgh, PA
-
FORGY, C. L. Ops5 reference manual. Tech. Rep. CMU-CS-81-135, Computer Science Department, Carnegie-Mellon University, Pittsburgh, PA, 1981.
-
(1981)
Tech. Rep. CMU-CS-81-135, Computer Science Department
-
-
Forgy, C.L.1
-
7
-
-
0001549329
-
Prioritized conflict handling for logic programs
-
GROSOF, B. N. Prioritized conflict handling for logic programs. In ILPS (1997), pp. 197-211.
-
(1997)
ILPS
, pp. 197-211
-
-
Grosof, B.N.1
-
8
-
-
84880493386
-
Description logic programs: Combining logic programs with description logic
-
GROSOF, B. N., HORROCKS, I., VOLZ, R., AND DECKER, S. Description logic programs: combining logic programs with description logic. In WWW (2003), pp. 48-57.
-
(2003)
WWW
, pp. 48-57
-
-
Grosof, B.N.1
Horrocks, I.2
Volz, R.3
Decker, S.4
-
9
-
-
0002384832
-
Foundations of spatioterminological reasoning with description logics
-
HAARSLEV, V., LUTZ, C., AND MOLLER, R. Foundations of spatioterminological reasoning with description logics. In Principles of Knowledge Representation and Reasoning (1998), pp. 112-123.
-
(1998)
Principles of Knowledge Representation and Reasoning
, pp. 112-123
-
-
Haarslev, V.1
Lutz, C.2
Moller, R.3
-
11
-
-
18744404327
-
-
Internet Report, May
-
HORROCKS, I., PATEL-SCHNEIDER, P. F., TABET, H. B. S., GROSOF, B., AND Dean, M. Swrl: A semantic web rule language combining owl and ruleml. Internet Report, May 2004. http://www.w3.org/Submission/2004/SUBM-SWRL-20040521/.
-
(2004)
Swrl: A Semantic Web Rule Language Combining Owl and Ruleml
-
-
Horrocks, I.1
Patel-schneider, P.F.2
Tabet, H.B.S.3
Grosof, B.4
Dean, M.5
-
13
-
-
0036870713
-
Jena: A semantic web toolkit
-
November
-
MCBRIDE, B. Jena: A semantic web toolkit. Internet, November 2002. http://dsonline.computer.org/0211/f/wp6jena.htm.
-
(2002)
Internet
-
-
McBride, B.1
-
15
-
-
68849087152
-
-
Ruleml web site
-
RuleML. Ruleml web site. Internet, 2006. http://www.ruleml.org/.
-
(2006)
Internet
-
-
-
17
-
-
38149122437
-
-
AND, Tech. rep. Nov. 02
-
SAGONAS, K., SWIFT, T., AND WARREN, D. S. Xsb: An overview of its use and implementation. Tech. rep., Nov. 02 1993.
-
(1993)
Xsb: An Overview of its Use and Implementation
-
-
Sagonas, K.1
Swift, T.2
Warren, D.S.3
-
18
-
-
38149131870
-
The rete matching algorithm
-
Dec.
-
SCHNEIER, B. The rete matching algorithm. AI Expert 7, 12 (Dec. 1992), 24-29.
-
(1992)
AI Expert 7
, vol.12
, pp. 24-29
-
-
Schneier, B.1
-
19
-
-
38149081301
-
A Framework for combining Rules and Geo-ontologies
-
vol. LNCS 4524, Springer
-
SMART, P., ABDELMOTY, A., EL-GERESY, B., and JONES, C. A Framework for combining Rules and Geo-ontologies. In Proceeding of the First International Conference on Web Reasoning and Rule Systems (2007), vol. LNCS 4524, Springer, pp. 133-147.
-
(2007)
Proceeding of the First International Conference on Web Reasoning and Rule Systems
, pp. 133-147
-
-
Smart, P.1
Abdelmoty, A.2
El-Geresy, B.3
Jones, C.4
-
20
-
-
33646044112
-
-
AAAI, Menlo Park, CA
-
WALDINGER, R., APPELT, D. E., FRY, J., ISRAEL, D. J., JARVIS, P., MARTIN, D., RIEHEMANN, S., STICKEL, M. E., TYSON, M., HOBBS, J., AND DUNGAN, J. L. Deductive Question Answering from Multiple Resources. AAAI, Menlo Park, CA, 2004.
-
(2004)
Deductive Question Answering from Multiple Resources
-
-
Waldinger, R.1
Appelt, D.E.2
Fry, J.3
Israel, D.J.4
Jarvis, P.5
Martin, D.6
Riehemann, S.7
Stickel, M.E.8
Tyson, M.9
Hobbs, J.10
Dungan, J.L.11
|