A solution for the man-man problem in the family history knowledge base

CEUR Workshop Proceedings

Volumn 529, Issue , 2009, Pages

  Tsarkov, Dmitry ^a   Sattler, Ulrike ^a   Stevens, Margaret ^a   Stevens, Robert ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE BASE; OBJECT PROPERTY; REASONER;

KNOWLEDGE BASED SYSTEMS;

BIRDS;

EID: 80052402657     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. Francis Gasse, Ulrike Sattler, and Volker Haarslev. Rewriting Rules into SROIQ Axioms. In Proc. of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008, 2008.
2. B. Hollunder and F. Baader. Qualifying Number Restrictions in Concept Languages. In Proc. of the Second International Conference on Principles of Knowledge Representation and Reasoning, KR-91, pages 335-346, Boston (USA), 1991.
3. Matthew Horridge and Peter F. Patel-Schneider. Manchester OWL Syntax for OWL 1.1. In Proc. of OWL: Experiences and Directions Workshop (OWLED 2008DC), 2008.
4. Ian Horrocks, Oliver Kutz, and Ulrike Sattler. The Even More Irresistible SROIQ. In Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2006), pages 57-67. AAAI Press, 2006.
5. Yevgeny Kazakov. An Extension of Regularity Conditions for Complex Role Inclusion Axioms. In Proc. of the 2009 Description Logic Workshop (DL 2009), 2009.
6. Markus Kr̈otzsch, Sebastian Rudolph, and Pascal Hitzler. Description Logic Rules. In Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, and Nikos Avouris, editors, Proc. of the 18th European Conference on Artificial Intelligence (ECAI-08), volume 178 of Frontiers in Artificial Intelligence and Applications (FAIA), pages 80-84. IOS Press, Jul 2008.
7. Boris Motik, Ulrike Sattler, and Rudi Studer. Query Answering for OWL-DL with Rules. Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 3(1):41-60, 2005.
8. Robert Stevens and Margaret Stevens. A Family History Knowledge Base Using OWL 2. In Proc. of OWL: Experiences and Directions Workshop (OWLED 2008), 2008.
9. Dmitry Tsarkov and Ian Horrocks. FaCT++ description logic reasoner: System description. In Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006), volume 4130 of Lecture Notes in Artificial Intelligence, pages 292-297. Springer, 2006.