Ulrike Sattler

From Tetherless World Wiki

Jump to: navigation, search
Ulrike Sattler [ Edit ]
Photo:
Name: Ulrike Sattler
Occupation:
Affiliation(s): Manchester University
Homepage(s): http://NA
Email(s):
Phone:
Fax:
Interests: Semantic Web
Other tags: Person
Alias: Uli Sattler
Please also add"{{alias}}" to your alias pages.


Publication

Update publication from DBLP

  1. Peihong Ke, Ulrike Sattler. Next Steps for Description Logics of Minimal Knowledge and Negation as Failure, In Description Logics, , 2008 .
  2. Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler. The Representation of Structured Objects in DLs using Description Graphs, In Description Logics, , 2008 .
  3. Matthew Horridge, Bijan Parsia, Ulrike Sattler. Laconic and Precise Justifications in OWL, In International Semantic Web Conference, pp. 323-338, 2008 .
  4. Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler. Representing Structured Objects using Description Graphs, In KR, pp. 296-306, 2008 .
  5. Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, Rafael Berlanga Llavori. Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support, In ESWC, pp. 185-199, 2008 (Download) .
  6. Birte Glimm, Ian Horrocks, Ulrike Sattler. Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata, In Description Logics, , 2008 .
  7. Francis Gasse, Ulrike Sattler, Volker Haarslev. Rewriting Rules into SROIQ Axioms, In Description Logics, , 2008 .
  8. Ullrich Hustadt, Boris Motik, Ulrike Sattler. Deciding expressive description logics in the framework of resolution, In Inf. Comput., 206(5):579-601, 2008 .
  9. Matthew Horridge, Johannes Bauer, Bijan Parsia, Ulrike Sattler. Understanding Entailments in OWL, In OWLED, , 2008 .
  10. Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler. Structured objects in owl: representation and reasoning, In WWW, pp. 555-564, 2008 (Download) .
  11. Matthew Horridge, Bijan Parsia, Ulrike Sattler. Explanation of OWL Entailments in Protege 4, In International Semantic Web Conference (Posters \& Demos), , 2008 .
  12. Ernesto Jimenez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, Rafael Berlanga. Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support, In OWL: Experiences and Directions (OWLED), pp. online, 2008 .
  13. Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler. OWL 2: The next step for OWL, In J. Web Sem., 6(4):309-322, 2008 .
  14. Birte Glimm, Ian Horrocks, Ulrike Sattler. Unions of Conjunctive Queries in SHOQ, In KR, pp. 252-262, 2008 .
  15. Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. Ontology Reuse: Better Safe than Sorry, In Description Logics, , 2007 (Download) .
  16. Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin. How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited, In LPAR, pp. 303-317, 2007 .
  17. Ullrich Hustadt, Boris Motik, Ulrike Sattler. Reasoning in Description Logics by a Reduction to Disjunctive Datalog, In J. Autom. Reasoning, 39(3):351-384, 2007 .
  18. Ian Horrocks, Ulrike Sattler. A Tableau Decision Procedure for SHOIQ, In J. Autom. Reasoning, 39(3):249-276, 2007 (Download) .
  19. Boris Motik, Ian Horrocks, Ulrike Sattler. Adding Integrity Constraints to OWL, In OWLED, , 2007 (Download) .
  20. Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler. Conjunctive Query Answering for the Description Logic SHIQ, In IJCAI, pp. 399-404, 2007 (Download) .
  21. Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. Just the right amount: extracting modules from ontologies, In WWW, pp. 717-726, 2007 (Download) .
  22. Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler. Completing Description Logic Knowledge Bases Using Formal Concept Analysis, In IJCAI, pp. 230-235, 2007 (Download) .
  23. Robert Stevens, Mikel Ega \~n a Aranguren, Katy Wolstencroft, Ulrike Sattler, Nick Drummond, Matthew Horridge, Alan L. Rector. Using OWL to model biological knowledge, In International Journal of Man-Machine Studies, 65(7):583-594, 2007 .
  24. Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya. Completing Description Logic Knowledge Bases using Formal Concept Analysis, In OWLED, , 2007 .
  25. Birte Glimm, Ian Horrocks, Ulrike Sattler. Conjunctive Query Entailment for SHOQ, In Description Logics, , 2007 (Download) .
  26. Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. Extracting Modules from Ontologies: A Logic-based Approach, In OWLED, , 2007 (Download) .
  27. Boris Motik, Ian Horrocks, Ulrike Sattler. Bridging the gap between OWL and relational databases, In WWW, pp. 807-816, 2007 (Download) .
  28. Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. A Logical Framework for Modularity of Ontologies, In IJCAI, pp. 298-303, 2007 (Download) .
  29. Ian Horrocks, Birte Glimm, Ulrike Sattler. Hybrid Logics and Ontology Languages, In Electr. Notes Theor. Comput. Sci., 174(6):3-14, 2007 (Download) .
  30. Ulrike Sattler. Reasoning in Description Logics: Basics, Extensions, and Relatives, In Reasoning Web, pp. 154-182, 2007 .
  31. Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens. Deciding Semantic Matching of Stateless Services, In AAAI, , 2006 (Download) .
  32. Birte Glimm, Ian Horrocks, Ulrike Sattler. Conjunctive Query Answering for Description Logics with Transitive Roles, In Description Logics, , 2006 (Download) .
  33. Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler. Next Steps for OWL, In OWLED, , 2006 .
  34. Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler. Can OWL and Logic Programming Live Together Happily Ever After?, In International Semantic Web Conference, pp. 501-514, 2006 (Download) .
  35. Boris Motik, Ulrike Sattler. A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes, In LPAR, pp. 227-241, 2006 .
  36. Ian Horrocks, Oliver Kutz, Ulrike Sattler. The Even More Irresistible SROIQ, In KR, pp. 57-67, 2006 (Download) .
  37. Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler. Will my Ontologies Fit Together?, In Description Logics, , 2006 (Download) .
  38. Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi. BDD-based decision procedures for the modal logic K, In Journal of Applied Non-Classical Logics, 16(1-2):169-208, 2006 .
  39. Boris Motik, Ulrike Sattler, Rudi Studer. Query Answering for OWL-DL with rules, In J. Web Sem., 3(1):41-60, 2005 (Download) .
  40. Antoon Goderis, Ulrike Sattler, Carole A. Goble. Applying Description Logics for Workflow Reuse and Repurposing, In Description Logics, , 2005 .
  41. Franz Baader, Ian Horrocks, Ulrike Sattler. Description Logics as Ontology Languages for the Semantic Web, In Mechanizing Mathematical Reasoning, pp. 228-248, 2005 (Download) .
  42. Carsten Lutz, Ulrike Sattler, Lidia Tendera. The complexity of finite model reasoning in description logics, In Inf. Comput., 199(1-2):132-171, 2005 .
  43. Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter. Integrating Description Logics and Action Formalisms: First Results, In AAAI, pp. 572-577, 2005 (Download) .
  44. Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler. Keys, Nominals, and Concrete Domains, In J. Artif. Intell. Res. (JAIR), 23:667-726, 2005 (Download) .
  45. Katy Wolstencroft, Andy Brass, Ian Horrocks, Phillip W. Lord, Ulrike Sattler, Daniele Turi, Robert Stevens. A Little Semantic Web Goes a Long Way in Biology, In International Semantic Web Conference, pp. 786-800, 2005 (Download) .
  46. Ullrich Hustadt, Boris Motik, Ulrike Sattler. Data Complexity of Reasoning in Very Expressive Description Logics, In IJCAI, pp. 466-471, 2005 (Download) .
  47. Ian Horrocks, Ulrike Sattler. A Tableaux Decision Procedure for SHOIQ, In IJCAI, pp. 448-453, 2005 (Download) .
  48. Antoon Goderis, Ulrike Sattler, Phillip W. Lord, Carole A. Goble. Seven Bottlenecks to Workflow Reuse and Repurposing, In International Semantic Web Conference, pp. 323-337, 2005 (Download) .
  49. Ullrich Hustadt, Boris Motik, Ulrike Sattler. Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution, In ECAI, pp. 353-357, 2004 .
  50. Ian Horrocks, Ulrike Sattler. Decidability of SHIQ with complex role inclusion axioms, In Artif. Intell., 160(1-2):79-104, 2004 (Download) .
  51. Franz Baader, Ian Horrocks, Ulrike Sattler. Description Logics, In Handbook on Ontologies, pp. 3-28, 2004 (Download) .
  52. Boris Motik, Ulrike Sattler, Rudi Studer. Query Answering for OWL-DL with Rules, In International Semantic Web Conference, pp. 549-563, 2004 (Download) .
  53. Ullrich Hustadt, Boris Motik, Ulrike Sattler. Reducing SHIQ-Description Logic to Disjunctive Datalog Programs, In KR, pp. 152-162, 2004 .
  54. Ullrich Hustadt, Boris Motik, Ulrike Sattler. A Decomposition Rule for Decision Procedures by Resolution-Based Calculi, In LPAR, pp. 21-35, 2004 .
  55. Ulrike Sattler, Diego Calvanese, Ralf Molitor. Relationships with other Formalisms, In Description Logic Handbook, pp. 137-177, 2003 .
  56. Carsten Lutz, Ulrike Sattler, Lidia Tendera. The Complexity of Finite Model Reasoning in Description Logics, In CADE, pp. 60-74, 2003 .
  57. Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler. Keys, Nominals, and Concrete Domains, In IJCAI, pp. 349-354, 2003 (Download) .
  58. Carsten Lutz, Ulrike Sattler, Lidia Tendera. Finite Model Reasoning in ALCQI is EXPTIME Logics, In Description Logics, , 2003 .
  59. Ian Horrocks, Ulrike Sattler. Decidability of SHIQ with Complex Role Inclusion Axioms, In IJCAI, pp. 343-348, 2003 (Download) .
  60. Jan Hladik, Ulrike Sattler. A Translation of Looping Alternating Automata into Description Logics, In CADE, pp. 90-105, 2003 .
  61. Franz Baader, Ulrike Sattler. Description logics with aggregates and concrete domains, In Inf. Syst., 28(8):979-1004, 2003 .
  62. St \'e phane Demri, Ulrike Sattler. Automata-Theoretic Decision Procedures for Information Logics, In Fundam. Inform., 53(1):1-22, 2002 .
  63. Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi. BDD-Based Decision Procedures for K, In CADE, pp. 16-30, 2002 .
  64. Ian Horrocks, Ulrike Sattler. Optimised Reasoning for SHIQ, In ECAI, pp. 277-281, 2002 (Download) .
  65. Franz Baader, Ian Horrocks, Ulrike Sattler. Description Logics for the Semantic Web, In KI, 16(4):57-59, 2002 (Download) .
  66. Orna Kupferman, Ulrike Sattler, Moshe Y. Vardi. The Complexity of the Graded $\mu$-Calculus, In CADE, pp. 423-437, 2002 .
  67. Ian Horrocks, Ulrike Sattler. Ontology Reasoning in the SHOQ(D) Description Logic, In IJCAI, pp. 199-204, 2001 (Download) .
  68. Carsten Lutz, Ulrike Sattler, Frank Wolter. Description Logics and the Two-Variable Fragment, In Description Logics, , 2001 .
  69. Franz Baader, Ulrike Sattler. An Overview of Tableau Algorithms for Description Logics, In Studia Logica, 69(1):5-40, 2001 (Download) .
  70. Ulrike Sattler, Moshe Y. Vardi. The Hybrid $\mu$-Calculus, In IJCAR, pp. 76-91, 2001 .
  71. Carsten Lutz, Ulrike Sattler, Frank Wolter. Modal Logic and the Two-Variable Fragment, In CSL, pp. 247-261, 2001 .
  72. Carsten Lutz, Ulrike Sattler. The Complexity of Reasoning with Boolean Modal Logics, In Advances in Modal Logic, pp. 329-348, 2000 .
  73. Ian Horrocks, Ulrike Sattler, Stephan Tobies. Practical Reasoning for Expressive Description Logics, In CoRR, cs.LO/0005014, 2000 (Download) .
  74. Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies. How to decide Query Containment under Constraints using a Description Logic, In KRDB, pp. 59-72, 2000 (Download) .
  75. Ian Horrocks, Ulrike Sattler, Stephan Tobies. Practical Reasoning for Very Expressive Description Logics, In Logic Journal of the IGPL, 8(3), 2000 (Download) .
  76. Carsten Lutz, Ulrike Sattler. Mary Likes all Cats, In Description Logics, pp. 213-226, 2000 .
  77. Ian Horrocks, Ulrike Sattler, Stephan Tobies. Reasoning with Individuals for the Description Logic SHIQ, In CoRR, cs.LO/0005017, 2000 (Download) .
  78. Ian Horrocks, Ulrike Sattler, Stephan Tobies. Practical Reasoning for Very Expressive Description Logics, In CoRR, cs.LO/0005013, 2000 (Download) .
  79. Ian Horrocks, Ulrike Sattler, Stephan Tobies. Reasoning with Individuals for the Description Logic SHIQ, In CADE, pp. 482-496, 2000 (Download) .
  80. Ulrike Sattler. Description Logics for the Representation of Aggregated Objects, In ECAI, pp. 239-243, 2000 .
  81. Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies. How to Decide Query Containment Under Constraints Using a Description Logic, In LPAR, pp. 326-343, 2000 (Download) .
  82. Ian Horrocks, Ulrike Sattler. A Description Logic with Transitive and Inverse Roles and Role Hierarchies, In J. Log. Comput., 9(3):385-410, 1999 (Download) .
  83. Franz Baader, Ulrike Sattler. Expressive Number Restrictions in Description Logics, In J. Log. Comput., 9(3):319-350, 1999 .
  84. Enrico Franconi, Ulrike Sattler. A Data Warehouse Conceptual Data Model for Multidimensional Aggregation, In DMDW, pp. 13, 1999 .
  85. Ian Horrocks, Ulrike Sattler, Stephan Tobies. Practical Reasoning for Expressive Description Logics, In LPAR, pp. 161-180, 1999 (Download) .
  86. Carsten Lutz, Ulrike Sattler, Stephan Tobies. A Suggestion for an n-ary Description Logic, In Description Logics, , 1999 .
  87. Ian Horrocks, Ulrike Sattler. A Description Logic with Transitive and Inverse Roles and Role Hierarchies, In Description Logics, , 1998 (Download) .
  88. Franz Baader, Ulrike Sattler. Description Logics with Concrete Domains and Aggregation, In ECAI, pp. 336-340, 1998 .
  89. Franz Baader, Ulrike Sattler. Description Logics with Aggregates and Concrete Domains, In Description Logics, , 1997 .
  90. Franz Baader, Ulrike Sattler. Number Restrictions on Complex Roles in Description Logics: A Preliminary Report, In Description Logics, pp. 3-14, 1996 .
  91. Franz Baader, Ulrike Sattler. Description Logics with Symbolic Number Restrictions, In ECAI, pp. 283-287, 1996 .
  92. Ulrike Sattler. A Concept Language Extended with Different Kinds of Transitive Roles, In KI, pp. 333-345, 1996 .
  93. Franz Baader, Ulrike Sattler. Knowledge Representation in Process Engineering, In Description Logics, pp. 74-78, 1996 .
  94. Fran\c c ois Bergeron, Ulrike Sattler. Constructible Differentially Finite Algebraic Series in Several Variables, In Theor. Comput. Sci., 144(1 \& 2):59-65, 1995 .

External Links

More information on Google, and DBLP

Facts about Ulrike SattlerRDF feed
Foaf:depiction Anonymous.png  +
Foaf:firstName Ulrike  +
Foaf:homepage http://NA  +
Foaf:interest Semantic Web  +
Foaf:name Ulrike Sattler  +
Foaf:surname Sattler  +
Has affiliation Manchester University  +
Has alias Uli Sattler  +
Has identifier Ulrike Sattler  +
Has tag Person  +
Retrieved from "http://tw.rpi.edu/wiki/Ulrike_Sattler"
Personal tools