-
1
-
-
77957599502
-
Pushing the EL envelope
-
L. P. Kaelbling and A. Saffiotti, eds. Morgan Kaufmann, Los Altos
-
F. Baader, S. Brandt, and C. Lutz. Pushing the EL envelope. In Proceedings of IJCAI 2005, L. P. Kaelbling and A. Saffiotti, eds, pp. 364-369. Morgan Kaufmann, Los Altos, 2005.
-
(2005)
Proceedings of IJCAI 2005
, pp. 364-369
-
-
Baader, F.1
Brandt, S.2
Lutz, C.3
-
2
-
-
0030416992
-
Cardinality restrictions on concepts
-
F. Baader, M. Buchheit, and B. Hollunder. Cardinality restrictions on concepts. Artificial Intelligence, 88, 195-213, 1996.
-
(1996)
Artificial Intelligence
, vol.88
, pp. 195-213
-
-
Baader, F.1
Buchheit, M.2
Hollunder, B.3
-
3
-
-
0003727420
-
-
F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, eds. Cambridge University Press, New York
-
F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, eds. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, New York, 2003.
-
(2003)
The Description Logic Handbook: Theory, Implementation, and Applications
-
-
-
4
-
-
1642485949
-
From tableaux to automata for description logics
-
F. Baader, J. Hladik, C. Lutz, and F. Wolter. From tableaux to automata for description logics. Fundamenta Informaticae, 57, 247-279, 2003.
-
(2003)
Fundamenta Informaticae
, vol.57
, pp. 247-279
-
-
Baader, F.1
Hladik, J.2
Lutz, C.3
Wolter, F.4
-
5
-
-
0141780306
-
Embedding defaults into terminological knowledge representation formalisms
-
F. Baader and B. Hollunder. Embedding defaults into terminological knowledge representation formalisms. Journal of Automated Reasoning, 14, 149-180, 1995.
-
(1995)
Journal of Automated Reasoning
, vol.14
, pp. 149-180
-
-
Baader, F.1
Hollunder, B.2
-
6
-
-
37249044864
-
Axiom pinpointing in general tableaux
-
Proceedings of Tableaux 07, N. Olivetti, ed. Springer-Verlag, Aix-en-Provence, France
-
F. Baader and R. Penaloza. Axiom pinpointing in general tableaux. In Proceedings of Tableaux 07, LNAI 4548, N. Olivetti, ed., pp. 11-27. Springer-Verlag, Aix-en-Provence, France, 2007.
-
(2007)
LNAI
, vol.4548
, pp. 11-27
-
-
Baader, F.1
Penaloza, R.2
-
7
-
-
38149084728
-
Pinpointing in the description logic EL+
-
Proceedings of KI2007, J. Hertzberg, M. Beetz and R. Englert, eds. Springer-Verlag, Osnabrueck, Germany
-
F. Baader, R. Peñaloza, and B. Suntisrivaraporn. Pinpointing in the description logic EL+. In Proceedings of KI2007, LNAI 4667, J. Hertzberg, M. Beetz and R. Englert, eds, pp. 52-67. Springer-Verlag, Osnabrueck, Germany, 2007.
-
(2007)
LNAI
, vol.4667
, pp. 52-67
-
-
Baader, F.1
Peñaloza, R.2
Suntisrivaraporn, B.3
-
8
-
-
34548272754
-
An overview of tableau algorithms for description logics
-
F. Baader and U. Sattler. An overview of tableau algorithms for description logics. Studia Logica, 69, 5-40, 2001.
-
(2001)
Studia Logica
, vol.69
, pp. 5-40
-
-
Baader, F.1
Sattler, U.2
-
9
-
-
69949128023
-
Debugging SNOMED CT using axiom pinpointing in the description logic EL+
-
R. Cornet, K. Spackman, eds, Poenix, Arizona
-
F. Baader and B. Suntisrivaraporn. Debugging SNOMED CT using axiom pinpointing in the description logic EL+. In Proceedings of KR-MED'08. R. Cornet, K. Spackman, eds, Poenix, Arizona, 2008.
-
(2008)
Proceedings of KR-MED'08
-
-
Baader, F.1
Suntisrivaraporn, B.2
-
10
-
-
23944472232
-
Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization
-
Proceedings of PADL'05, M. V. Hermenegildo, D. Cabeza, eds. Springer-Verlag, Long Beach, California
-
J. Bailey and P. J. Stuckey. Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization. In Proceedings of PADL'05, LNCS 3350, M. V. Hermenegildo, D. Cabeza, eds, pp. 174-186. Springer-Verlag, Long Beach, California, 2005.
-
(2005)
LNCS
, vol.3350
, pp. 174-186
-
-
Bailey, J.1
Stuckey, P.J.2
-
11
-
-
22444455509
-
An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF
-
G. Davydov, I. Davydova, and H. Kleine Büning. An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF. Annals of Mathematics and Artificial Intelligence, 23, 229-245, 1998.
-
(1998)
Annals of Mathematics and Artificial Intelligence
, vol.23
, pp. 229-245
-
-
Davydov, G.1
Davydova, I.2
Kleine Büning, H.3
-
13
-
-
84867759223
-
RACER system description
-
Proceedings of IJCAR 2001, R. Goré,A. Leitsch, and T. Nipkow, eds. Springer-Verlag, Siena, Italy
-
V. Haarslev and R. Möller. RACER system description. In Proceedings of IJCAR 2001, LNCS 2083, R. Goré,A. Leitsch, and T. Nipkow, eds, pp. 701-706. Springer-Verlag, Siena, Italy, 2001.
-
(2001)
LNCS
, vol.2083
, pp. 701-706
-
-
Haarslev, V.1
Möller, R.2
-
14
-
-
21444449432
-
Consistency checking reduced to satisfiability of concepts in terminological systems
-
B. Hollunder. Consistency checking reduced to satisfiability of concepts in terminological systems. Annals of Mathematics and Artificial Intelligence, 18, 133-157, 1996. (Pubitemid 126716939)
-
(1996)
Annals of Mathematics and Artificial Intelligence
, vol.18
, Issue.2
, pp. 133-157
-
-
Hollunder, B.1
-
15
-
-
0002511572
-
Qualifying number restrictions in concept languages
-
J. F. Allen, R. Fikes, and E. Sandewall, eds. Morgan Kaufmann Publishers, Cambridge, MA
-
B. Hollunder and F. Baader. Qualifying number restrictions in concept languages. In Proceedings of KR'91, J. F. Allen, R. Fikes, and E. Sandewall, eds, pp. 335-346. Morgan Kaufmann Publishers, Cambridge, MA, 1991.
-
(1991)
Proceedings of KR'91
, pp. 335-346
-
-
Hollunder, B.1
Baader, F.2
-
16
-
-
0001473852
-
Using an expressive description logic: FaCT or fiction?
-
A. G. Cohn, L. K. Schubert, and S. C. Shapiro, eds, Trento, Italy
-
I. Horrocks. Using an expressive description logic: FaCT or fiction? In Proceedings of KR'98, A. G. Cohn, L. K. Schubert, and S. C. Shapiro, eds, pp. 636-647, Trento, Italy, 1998.
-
(1998)
Proceedings of KR'98
, pp. 636-647
-
-
Horrocks, I.1
-
17
-
-
4344615591
-
From SHIQ and RDF to OWL: The making of a web ontology language
-
I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics, 1, 7-26, 2003.
-
(2003)
Journal of Web Semantics
, vol.1
, pp. 7-26
-
-
Horrocks, I.1
Patel-Schneider, P.F.2
Van Harmelen, F.3
-
18
-
-
0032592917
-
A description logic with transitive and inverse roles and role hierarchies
-
I. Horrocks and U. Sattler. A description logic with transitive and inverse roles and role hierarchies. Journal of Logic and Computation, 9, 385-410, 1999.
-
(1999)
Journal of Logic and Computation
, vol.9
, pp. 385-410
-
-
Horrocks, I.1
Sattler, U.2
-
19
-
-
0007904166
-
Practical reasoning for very expressive description logics
-
I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for very expressive description logics. Journal of the Interest Group in Pure and Applied Logic, 8, 239-264, 2000.
-
(2000)
Journal of the Interest Group in Pure and Applied Logic
, vol.8
, pp. 239-264
-
-
Horrocks, I.1
Sattler, U.2
Tobies, S.3
-
20
-
-
33744972792
-
Swoop: A web ontology editing browser
-
A. Kalyanpur, B. Parsia, E. Sirin, B. Cuenca-Grau, and J. Hendler. Swoop: a web ontology editing browser. Journal of Web Semantics, 4, 144-153, 2005.
-
(2005)
Journal of Web Semantics
, vol.4
, pp. 144-153
-
-
Kalyanpur, A.1
Parsia, B.2
Sirin, E.3
Cuenca-Grau, B.4
Hendler, J.5
-
21
-
-
35048834729
-
The Protégé OWL plugin: An open development environment for semantic web applications
-
Proceedings of the Third International Semantic Web Conference, S. A. McIlraith, D. Plexousakis, and F. Van Harmelen, eds. Springer-Verlag, Hiroshima, Japan
-
H. Knublauch, R. W. Fergerson, N. F. Noy, and M. A. Musen. The Protégé OWL plugin: an open development environment for semantic web applications. In Proceedings of the Third International Semantic Web Conference, LNCS 3298, S. A. McIlraith, D. Plexousakis, and F. Van Harmelen, eds, pp. 229-243. Springer-Verlag, Hiroshima, Japan, 2004.
-
(2004)
LNCS
, vol.3298
, pp. 229-243
-
-
Knublauch, H.1
Fergerson, R.W.2
Noy, N.F.3
Musen, M.A.4
-
22
-
-
84872954924
-
Computing maximally satisable terminologies for the description logic ALC with GCIs
-
CEUR Electronic Workshop Proceedings, B. Parsia, U. Sattler, and D. Toman, eds, Lake District, UK
-
K. Lee, T. Meyer, and J. Pan. Computing maximally satisable terminologies for the description logic ALC with GCIs. In Proceedings of DL 2006, CEUR Electronic Workshop Proceedings, B. Parsia, U. Sattler, and D. Toman, eds, Lake District, UK, 2006.
-
(2006)
Proceedings of DL 2006
-
-
Lee, K.1
Meyer, T.2
Pan, J.3
-
23
-
-
26444450510
-
On finding all minimally unsatisfiable subformulas
-
Proceedings of SAT'05, F. Bacchus and T. Walsh, eds. Springer-Verlag, St. Andrews, UK
-
M. H. Liffiton and K. A. Sakallah. On finding all minimally unsatisfiable subformulas. In Proceedings of SAT'05, LNCS 3569, F. Bacchus and T. Walsh, eds, pp. 173-186. Springer-Verlag, St. Andrews, UK, 2005.
-
(2005)
LNCS
, vol.3569
, pp. 173-186
-
-
Liffiton, M.H.1
Sakallah, K.A.2
-
25
-
-
38149133754
-
Challenges in satisfiability modulo theories
-
Proceedings of RTA'07, F. Baader, ed.. Springer-Verlag, Paris, France
-
R. Nieuwenhuis,A. Oliveras, E. Rodríguez-Carbonell, andA. Rubio. Challenges in satisfiability modulo theories. In Proceedings of RTA'07, LNCS 4533, F. Baader, ed. pp. 2-18. Springer-Verlag, Paris, France, 2007.
-
(2007)
LNCS
, vol.4533
, pp. 2-18
-
-
Nieuwenhuis, R.1
Oliveras, A.2
Rodríguez-Carbonell, E.3
Rubio, A.4
-
26
-
-
8844227696
-
An extensible ontology software environment
-
S. Staab and R. Studer, eds, Springer-Verlag, Berlin/Heidelberg
-
D. Oberle, R. Volz, B. Motik, and S. Staab. An extensible ontology software environment. In Handbook on Ontologies, S. Staab and R. Studer, eds, pp. 311-333. Springer-Verlag, Berlin/Heidelberg, 2004.
-
(2004)
Handbook on Ontologies
, pp. 311-333
-
-
Oberle, D.1
Volz, R.2
Motik, B.3
Staab, S.4
-
27
-
-
33745643861
-
Debugging OWL ontologies
-
A. Ellis, and T. Hagino, eds. ACM, Chiba, Japan
-
B. Parsia, E. Sirin, and A. Kalyanpur. DebuggingOWLontologies. In Proceedings ofWWW'05, A. Ellis, and T. Hagino, eds, pp. 633-640. ACM, Chiba, Japan, 2005.
-
(2005)
Proceedings of WWW'05
, pp. 633-640
-
-
Parsia, B.1
Sirin, E.2
Kalyanpur, A.3
-
28
-
-
0023329093
-
A theory of diagnosis from first principles
-
R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32, 57-95, 1987.
-
(1987)
Artificial Intelligence
, vol.32
, pp. 57-95
-
-
Reiter, R.1
-
29
-
-
29344432689
-
Diagnosing terminologies
-
M. M. Veloso and S. Kambhampati, eds. AAAI Press/The MIT Press, Pittsburgh, Pennsylvania
-
S. Schlobach. Diagnosing terminologies. In Proceedings of AAAI 2005, M. M. Veloso and S. Kambhampati, eds, pp. 670-675. AAAI Press/The MIT Press, Pittsburgh, Pennsylvania, 2005.
-
(2005)
Proceedings of AAAI 2005
, pp. 670-675
-
-
Schlobach, S.1
-
30
-
-
84880831562
-
Non-standard reasoning services for the debugging of description logic terminologies
-
G. Gottlob and T.Walsh, eds. MK, Acapulco, Mexico
-
S. Schlobach and R. Cornet. Non-standard reasoning services for the debugging of description logic terminologies. In Proceedings of IJCAI 2003, G. Gottlob and T.Walsh, eds, pp. 355-362. MK, Acapulco, Mexico, 2003.
-
(2003)
Proceedings of IJCAI 2003
, pp. 355-362
-
-
Schlobach, S.1
Cornet, R.2
-
31
-
-
0026107613
-
Attributive concept descriptions with complements
-
M. Schmidt-Schauß and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48, 1-26, 1991.
-
(1991)
Artificial Intelligence
, vol.48
, pp. 1-26
-
-
Schmidt-Schauß, M.1
Smolka, G.2
-
32
-
-
33646429006
-
Pellet: An OWL DL reasoner
-
V. Haarslev and R. Möller, eds
-
E. Sirin and B. Parsia. Pellet: an OWL DL reasoner. In Proceedings of DL 2004, V. Haarslev and R. Möller, eds, pp. 212-213, 2004.
-
(2004)
Proceedings of DL 2004
, pp. 212-213
-
-
Sirin, E.1
Parsia, B.2
-
34
-
-
84893807812
-
Validating SAT solvers using an independent resolution-based checker: Practical implementations and other applications
-
IEEE Computer Society Press, Munich, Germany
-
L. Zhang and S. Malik. Validating SAT solvers using an independent resolution-based checker: practical implementations and other applications. In Proceedings of DATE'03, pp. 10880-10885. IEEE Computer Society Press, Munich, Germany, 2003.
-
(2003)
Proceedings of DATE'03
, pp. 10880-10885
-
-
Zhang, L.1
Malik, S.2
|