A semantic infosphere
作者： Michael Uschold , Peter Clark , Fred Dickey , Casey Fung , Sonia Smith
DOI: 10.1007/978-3-540-39718-2_56
关键词: Annotation 、 XML 、 World Wide Web 、 Infosphere 、 Vocabulary 、 Description logic 、 Computer science 、 Inference engine 、 Ontology language 、 Ontology 、 Semantic reasoner
摘要: We describe a prototype implementation of semantic filtering capability added to an existing XML-based publish and subscribe infrastructure. An ontology is used provide vocabulary for expressing both 1) the annotations that characterize published documents 2) subscriptions specifying class be routed given client. A description logic (DL) classifier determine which subscribers incoming document to. outline key elements battlefield domain give some sample subscriptions. This basis describing number scenarios showing how this could practice. critically analyze suitability DL language reasoner in general, particular choices (DAML+OIL, FaCT OilEd) performing task. result work demonstrate importance testing semantics-based technologies on practical problems. discovered new interesting areas future work, turn can direct focus research community.
core.ac.uk
springer.com
manchester.ac.uk
man.ac.uk 参考文章(11)
James Clark, XSL Transformations (XSLT) Version 1.0 W3C Recommendation. ,(1999)
Sean Bechhofer, Ian Horrocks, Daniele Turi, A Simple DL Instance Store ,(2003)
William Grosso, John Gennari, Ray Fergerson, Samson Tu, Henrik Eriksson, Mark Musen, Knowledge modeling at the millennium : The design and evolution of Protégé-2000 ,(1999)
Ian Horrocks, Ulrike Sattler, Ontology reasoning in the SHOQ(D) description logic international joint conference on artificial intelligence. pp. 199- 204 ,(2001)
Sean Bechhofer, Ian Horrocks, Carole Goble, Robert Stevens, OilEd: A Reason-able Ontology Editor for the Semantic Web Description Logics. pp. 396- 408 ,(2001) , 10.1007/3-540-45422-5_28
Ian Horrocks, Using an Expressive Description Logic: FaCT or Fiction? principles of knowledge representation and reasoning. pp. 636- 649 ,(1998)
Dieter Pfoser, Indexing the Trajectories of Moving Objects IEEE Data(base) Engineering Bulletin. ,vol. 25, pp. 4- 10 ,(2002)
Ian Horrocks, Ulrike Sattler, Stephan Tobies, Practical Reasoning for Expressive Description Logics international conference on logic programming. pp. 161- 180 ,(1999) , 10.1007/3-540-48242-3_11
KI 2001: Advances in Artificial Intelligence Springer Berlin Heidelberg. ,(2001) , 10.1007/3-540-45422-5