-
2
-
-
0003727420
-
-
Cambridge University Press
-
Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003.
-
(2003)
The Description Logic Handbook: Theory, Implementation, and Applications
-
-
Baader, F.1
Calvanese, D.2
McGuinness, D.3
Nardi, D.4
Patel-Schneider, P.5
-
3
-
-
85027186168
-
Magic sets and other strange ways to implement logic programs
-
François Bancilhon, David Maier, Yehoshua Sagiv, and Jeffrey D. Ullman. Magic Sets and Other Strange Ways to Implement Logic Programs. In Proceedings of the 5th ACM Symposium on Principles of Database Systems, pages 1-15, 1986.
-
(1986)
Proceedings of the 5th ACM Symposium on Principles of Database Systems
, pp. 1-15
-
-
Bancilhon, F.1
Maier, D.2
Sagiv, Y.3
Ullman, J.D.4
-
4
-
-
26944437060
-
The OWL instance store: System description
-
LNCS 3632
-
Sean Bechhofer, Ian Horrocks, and Daniele Turi. The OWL Instance Store: System Description. In Proceedings of CADE-20, LNCS 3632, pages 177-181, 2005.
-
(2005)
Proceedings of CADE-20
, pp. 177-181
-
-
Bechhofer, S.1
Horrocks, I.2
Turi, D.3
-
5
-
-
0001866067
-
SIC: Satisfiability checking for integrity constraints
-
Francois Bry, Norbert Eisinger, Heribert Schutz, and Sunna Torge. SIC: Satisfiability Checking for Integrity Constraints. In Proceeding of Deductive Databases and Logic Programming, pages 25-36, 1998.
-
(1998)
Proceeding of Deductive Databases and Logic Programming
, pp. 25-36
-
-
Bry, F.1
Eisinger, N.2
Schutz, H.3
Torge, S.4
-
6
-
-
29344454351
-
DL-Lite: Tractable description logics for ontologies
-
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati. DL-Lite: Tractable Description Logics for Ontologies. In Proc. of the 20th Nat. Conf. on Artificial Intelligence, pages 602-607, 2005.
-
(2005)
Proc. of the 20th Nat. Conf. on Artificial Intelligence
, pp. 602-607
-
-
Calvanese, D.1
De Giacomo, G.2
Lembo, D.3
Lenzerini, M.4
Rosati, R.5
-
7
-
-
0038062314
-
Complexity and expressive power of logic programming
-
Evgeny Dantsin, Thomas Eiter, Georg Gottlob, and Andrei Voronkov. Complexity and Expressive Power of Logic Programming. ACM Computing Surveys, 33(3):374-425, 2001.
-
(2001)
ACM Computing Surveys
, vol.33
, Issue.3
, pp. 374-425
-
-
Dantsin, E.1
Eiter, T.2
Gottlob, G.3
Voronkov, A.4
-
8
-
-
33749394686
-
On representational issues about combinations of classical theories with nonmonotonic rules
-
LNCS 4092
-
Jos de Bruijn, Thomas Eiter, Axel Polleres, and Hans Tompits. On Representational Issues About Combinations of Classical Theories with Nonmonotonic Rules. In Proceedings of KSEM, LNCS 4092, pages 1-22, 2006.
-
(2006)
Proceedings of KSEM
, pp. 1-22
-
-
De Bruijn, J.1
Eiter, T.2
Polleres, A.3
Tompits, H.4
-
9
-
-
33646180839
-
OWL DL vs. OWL flight: Conceptual modeling and reasoning on the Semantic Web
-
Chiba, Japan. ACM
-
Jos de Bruijn, Axel Polleres, Rubén Lara, and Dieter Fensel. OWL DL vs. OWL Flight: Conceptual Modeling and Reasoning on the Semantic Web. In Proceedings of the 14th International World Wide Web Conference, Chiba, Japan, 2005. ACM.
-
(2005)
Proceedings of the 14th International World Wide Web Conference
-
-
De Bruijn, J.1
Polleres, A.2
Lara, R.3
Fensel, D.4
-
10
-
-
78650230253
-
Description logics of minimal knowledge and negation as failure
-
Francesco M. Donini, Daniele Nardi, and Riccardo Rosati. Description Logics of Minimal Knowledge and Negation as Failure. ACM Transactions on Computational Logic, 3(2):177-225, 2002.
-
(2002)
ACM Transactions on Computational Logic
, vol.3
, Issue.2
, pp. 177-225
-
-
Donini, F.M.1
Nardi, D.2
Rosati, R.3
-
11
-
-
33746067855
-
Effective integration of declarative rules with external evaluations for semantic-web reasoning
-
LNCS 4011
-
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits. Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning. In Proceedings of ESWC, LNCS 4011, pages 273-287, 2006.
-
(2006)
Proceedings of ESWC
, pp. 273-287
-
-
Eiter, T.1
Ianni, G.2
Schindlauer, R.3
Tompits, H.4
-
12
-
-
84880493386
-
Description logic programs; Combining logic programs with description logic
-
ACM
-
Benjamin N. Grosof, Ian Horrocks, Raphael Volz, and Stefan Decker. Description Logic Programs; Combining Logic Programs with Description Logic. In Proceedings of the 12th International World Wide Web Conference, pages 48-57. ACM, 2003.
-
(2003)
Proceedings of the 12th International World Wide Web Conference
, pp. 48-57
-
-
Grosof, B.N.1
Horrocks, I.2
Volz, R.3
Decker, S.4
-
13
-
-
34547352945
-
A description logic with transitive and converse roles, role hierarchies and qualifying number restrictions
-
RWTH Aachen, Germany
-
Ian Horrocks, Ulrike Sattler, and Stephan Tobies. A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions. LTCS-Report 99-08, RWTH Aachen, Germany, 1999.
-
(1999)
LTCS-report
, vol.99
, Issue.8
-
-
Horrocks, I.1
Sattler, U.2
Tobies, S.3
-
14
-
-
84866252077
-
Querying the Semantic Web: A formal approach
-
LNCS 2342
-
Ian Horrocks and Sergio Tessaris. Querying the Semantic Web: a Formal Approach. In Proceedings of ISWC, LNCS 2342, pages 177-191, 2002.
-
(2002)
Proceedings of ISWC
, pp. 177-191
-
-
Horrocks, I.1
Tessaris, S.2
-
16
-
-
33746103250
-
Towards A complete OWL ontology benchmark
-
LNCS 4011
-
Li Ma, Yang Yang, Zhaomin Qiu, Guotong Xie, Yue Pan, and ShengPing Liu. Towards A Complete OWL Ontology Benchmark. In Proceedings of ESWC, LNCS 4011, pages 124-139, 2006.
-
(2006)
Proceedings of ESWC
, pp. 124-139
-
-
Li, M.1
Yang, Y.2
Qiu, Z.3
Xie, G.4
Pan, Y.5
Liu, S.6
-
17
-
-
33646673622
-
OWL2Jess: A transformational implementation of the OWL semantics
-
LNCS 3759
-
Jing Mei, Elena Paslaru Bontas, and Zuoquan Lin. OWL2Jess: A Transformational Implementation of the OWL Semantics. In Proceedings of International Workshops on ISPA, LNCS 3759, pages 599-608, 2005.
-
(2005)
Proceedings of International Workshops on ISPA
, pp. 599-608
-
-
Mei, J.1
Bontas, E.P.2
Lin, Z.3
-
18
-
-
33749400297
-
-
Technical report, University of Karlsruhe, May
-
Boris Motik and Riccardo Rosati. Closing Semantic Web Ontologies. Technical report, University of Karlsruhe, May 2006. http://kaon2.semanticweb. org/.
-
(2006)
Closing Semantic Web Ontologies
-
-
Motik, B.1
Rosati, R.2
-
19
-
-
21244502056
-
Query answering for OWL-DL with rules
-
Boris Motik, Ulrike Sattler, and Rudi Studer. Query Answering for OWL-DL with Rules. Journal of Web Semantics, 3(1):41-60, 2005.
-
(2005)
Journal of Web Semantics
, vol.3
, Issue.1
, pp. 41-60
-
-
Motik, B.1
Sattler, U.2
Studer, R.3
-
20
-
-
26444593709
-
DLDB: Extending relational databases to support semantic web queries
-
Zhengxiang Pan and Jeff Heflin. DLDB: Extending Relational Databases to Support Semantic Web Queries. In Practical and Scalable Semantic Systems, 2003.
-
(2003)
Practical and Scalable Semantic Systems
-
-
Pan, Z.1
Heflin, J.2
-
21
-
-
0007693217
-
An introduction to deductive data-base languages and systems
-
Kotagiri Ramamohanarao and James Harland. An introduction to deductive data-base languages and systems. The VLDB Journal, 3(2):107-122, 1994.
-
(1994)
The VLDB Journal
, vol.3
, Issue.2
, pp. 107-122
-
-
Ramamohanarao, K.1
Harland, J.2
-
22
-
-
84941175523
-
Query evaluation and optimization in the semantic web
-
Edna Ruckhaus, Eduardo Ruiz, and Maria-Esther Vidal. Query Evaluation and Optimization in the Semantic Web. In Proc. of ALPSWS, 2006.
-
(2006)
Proc. of ALPSWS
-
-
Ruckhaus, E.1
Ruiz, E.2
Vidal, M.-E.3
-
29
-
-
34548105443
-
Minerva: A scalable OWL ontology storage and inference system
-
To appear
-
Jian Zhou, Li Ma, Qiaoling Liu, Lei Zhang, Yong Yu, and Yue Pan. Minerva: A Scalable OWL Ontology Storage and Inference System. In Proceedings of Asia Semantic Web Conference, To appear, 2006.
-
(2006)
Proceedings of Asia Semantic Web Conference
-
-
Zhou, J.1
Li, M.2
Liu, Q.3
Zhang, L.4
Yu, Y.5
Pan, Y.6
|