@inproceedings{conf/atal/KluschFS06, title = {Automated semantic web service discovery with OWLS-MX.}, author = {Matthias Klusch and Benedikt Fries and Katia Sycara}, booktitle = {AAMAS}, crossref = {conf/atal/2006}, editor = {Hideyuki Nakashima and Michael P. Wellman and Gerhard Weiss and Peter Stone}, pages = {915-922}, publisher = {ACM}, year = 2006, url = {http://dblp.uni-trier.de/db/conf/atal/aamas2006.html#KluschFS06}, ee = {http://doi.acm.org/10.1145/1160633.1160796}, isbn = {1-59593-303-4}, date = {2006-09-27}, description = {dblp}, biburl = {http://www.bibsonomy.org/bibtex/27b18c5dec3672081adfdcfc000e3ff50/minguez}, keywords = {master descriptionlogic matchmaking} } @inproceedings{borgida05similarity, title = {Towards Measuring Similarity in Description Logics.}, author = {Alexander Borgida and Thomas Walsh and Haym Hirsh}, booktitle = {Proceedings of the 2005 International Workshop on Description Logics (DL2005), July 26-28, 2005, Edinburgh, Scotland, UK}, editor = {Ian Horrocks and Ulrike Sattler and Frank Wolter}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, volume = 147, year = 2005, url = {http://www.ceur-ws.org/Vol-147/25-BorgidaEtAl.pdf}, biburl = {http://www.bibsonomy.org/bibtex/21bfb5f33156769d97d22bf8d5b4369dc/minguez}, keywords = {matchmaking master descriptionlogic} } @inproceedings{Eiter2006, title = {Reasoning with Rules and Ontologies.}, author = {Thomas Eiter and Giovambattista Ianni and Axel Polleres and Roman Schindlauer and Hans Tompits}, booktitle = {Reasoning Web}, editor = {Pedro Barahona and François Bry and Enrico Franconi and Nicola Henze and Ulrike Sattler}, pages = {93-127}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = 4126, year = 2006, url = {http://dblp.uni-trier.de/db/conf/rweb/rweb2006.html#EiterIPST06}, ee = {http://dx.doi.org/10.1007/11837787_4}, isbn = {3-540-38409-X}, date = {2007-01-03}, biburl = {http://www.bibsonomy.org/bibtex/2173577d6925356aec0d8e9746613467b/haschek}, keywords = {OWL _Diplomathesis DescriptionLogic Reasoning English} } @article{DiNoia2007, title = {Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach}, author = {Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini}, journal = {Journal of Artificial Intelligence Research}, pages = {269-307}, volume = 29, year = 2007, biburl = {http://www.bibsonomy.org/bibtex/28f3f1f04cff817827c01f2d86b057a85/berrueta}, keywords = {descriptionlogic turruta-eswc2008 matchmaking 2007} } @inproceedings{dlp, title = {Description Logic Programs: Combining Logic Programming with Description Logic}, address = {New York}, author = {Benjamin Grosof and Ian Horrocks and Raphael Volz and Stefan Decker}, booktitle = {Proceedings of the WWW2003 Conference, Budapest, Hungary}, editor = {Yih-Farn Robin Chen and László Kovács and Steve Lawrence}, publisher = {ACM}, year = 2003, url = {http://www2003.org/cdrom/papers/refereed/p117/p117-grosof.html}, description = {This is also the basis for the DLP tractable fragment of owl1.1}, abstract = {We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so, we define a new intermediate knowledge representation (KR) contained within this intersection: Description Logic Programs (DLP), and the closely related Description Horn Logic (DHL) which is an expressive fragment of first-order logic (FOL). DLP provides a significant degree of expressiveness, substantially greater than the RDF-Schema fragment of Description Logic.}, biburl = {http://www.bibsonomy.org/bibtex/280f4195663781ec031df1adca4523ee6/ivan_herman}, keywords = {rules owl1.1 semanticweb descriptionlogic owl} } @inproceedings{sriq, title = {The Even More Irrestistible SROIQ}, author = {Ian Horrocks and Oliver Kutz and Uli Sattler}, booktitle = {Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2006)}, publisher = {AAAI Press}, year = 2006, url = {http://www.cs.man.ac.uk/%7Esattler/publications/sroiq-tr.pdf}, biburl = {http://www.bibsonomy.org/bibtex/2cc2fd6986de06b8b548d611ec04cc465/ivan_herman}, keywords = {descriptionlogic semanticweb owl owl1.1} } @inproceedings{horn-shiq, title = {Data Complexity of Reasoning in Very Expressive Description Logics}, author = {Ullrich Hustadt and Boris Motik and Ulrike Sattler}, booktitle = {Proceedings of the International Joint Conferences on Artificial Intelligence (IJCAI-05)}, year = 2005, url = {http://www.ijcai.org/papers/0326.pdf}, description = {This the basis of the HORN-SHIQ tractable fragment in the OWL1.1 submission}, abstract = {Data complexity of reasoning in description logics (DLs) estimates the performance of reasoning algorithms measured in the size of the ABox only. We show that, even for the very expressive DL SHIQ, satisfiability checking is data complete for NP. For applications with large ABoxes, this can be a more accurate estimate than the usually considered combined complexity, which is EXPTIME complete. Furthermore, we identify an expressive fragment, Horn-SHIQ, which is data complete for P, thus being very appealing for practical usage.}, biburl = {http://www.bibsonomy.org/bibtex/220b8a19d9036ef70e3dee51cb3eaa95e/ivan_herman}, keywords = {owl1.1 semanticweb descriptionlogic owl} } @inproceedings{el++, title = {Pushing the EL Envelope}, author = {Franz Baader and Sebastian Brandt and Carsten Lutz}, booktitle = {International Joint Conferences on Artificial Intelligence (IJCAI-05)}, year = 2005, url = {http://www.ijcai.org/papers/0372.pdf}, description = {Basis of the EL++ tractable fragment of the OWL1.1 submission}, abstract = {Recently, it has been shown that the small description logic (DL) EL, which allows for conjunction and existential restrictions, has better algorithmic properties than its counterpart FL0, which allows for conjunction and value restrictions. Whereas the subsumption problem in FL0 becomes already intractable in the presence of acyclic TBoxes, it remains tractable in EL even with general concept inclusion axioms (GCIs). On the one hand, we extend the positive result for EL by identifying a set of expressive means that can be added to EL without sacrificing tractability. On the other hand, we show that basically all other additions of typical DL constructors to EL with GCIs make subsumption intractable, and in most cases even EXPTIMEc omplete. In addition, we show that subsumption in FL0 with GCIs is EXPTIME-complete.}, biburl = {http://www.bibsonomy.org/bibtex/2c1503c4f44a200582e2d67772485ba11/ivan_herman}, keywords = {owl owl1.1 semanticweb descriptionlogic} } @inproceedings{dl-lite, title = {Tailoring OWL for Data Intensive Ontologies}, author = {Diego Calvanese and Giuseppe De Giacomo and Domenico Lembo and Maurizio Lenzerini and Riccardo Rosati}, booktitle = {Proceedings of the OWL: Experiences and Directions Workshop, Galway, Ireland}, year = 2005, url = {http://www.mindswap.org/OWLWorkshop/sub13.pdf}, description = {Core of the DL-Lite tractable fragment}, abstract = {The idea of using ontologies as a conceptual view over data repositories is becoming more and more popular. In these contexts, data are typically very large (much larger than the intentional level of the ontologies), and query answering becomes the basic reasoning services. In these contexts query answering should be very efficient on the data, and currently the only technology that is available to deal with large amounts of data is the one provided by relational data management systems (RDBMS). In this paper we advocate that for such contexts a suitable fragment of OWL-DL should be devised. Such a fragment must allow forms of query answering that exploit RDBMS when reasoning on the data, while it must include the main modeling features of conceptual models like UML class diagrams and ER diagrams. In particular it must include cyclic assertions, ISA on concepts, inverses of roles, role typing, mandatory participation to roles, and functional restrictions on roles. Also the query language should go beyond the expressive capabilities of concept expressions in description logics, and include at least conjunctive queries (corresponding to the select-project-join fragment of SQL). We discuss this issues by exhibiting a fragment of OWL-DL that includes all such features, namely DL-Lite, and showing that such a fragment is essentially maximal.}, biburl = {http://www.bibsonomy.org/bibtex/21649b9dd5c1b28227fa923d0afa4de4b/ivan_herman}, keywords = {owl1.1 owl semanticweb descriptionlogic} } @inproceedings{ontology-survey2006, title = {A Survey of theWeb Ontology Landscape}, address = {Heidelberg}, author = {Taowei David Wang and Bijan Parsia and James Hendler}, booktitle = {5th International Semantic Web Conference, Athens, GA, USA, November 5-9}, editor = {Isabel Cruz and Stefan Decker and Dean Allemang and Chris Preist and Daniel Schwabe and Peter Mika and Mike Ushold and Lora Aroyo}, number = {LNCS 4273}, publisher = {Springer Verlag}, series = {Lecture Notes in Computer Science}, year = 2006, url = {http://iswc2006.semanticweb.org/items/paper_6.php}, description = {ISBN: 03029743 The claim is also that most of the problems are solved with owl1.1...}, abstract = {We survey nearly 1300 OWL ontologies and RDFS schemas. The collection of statistical data allows us to perform analysis and report some trends. Though most of the documents are syntactically OWL Full, very few stay in OWL Full when they are syntactically patched by adding type triples. We also report the frequency of occurrences of OWL language constructs and the shape of class hierarchies in the ontologies. Finally, we note that of the largest ontologies surveyed here, most do not exceed the description logic expressivity of ALC}, biburl = {http://www.bibsonomy.org/bibtex/295bcc0aebf5fddf637a2fbe7fcee68c8/ivan_herman}, keywords = {owl1.1 semanticweb descriptionlogic owl} } @inproceedings{AFE05, title = {A Dissimilarity Measure for the ALC Description Logic}, author = {Claudia d'Amato and Nicola Fanizzi and Floriana Esposito}, booktitle = {roceedings of SWAP 2005, the 2nd Italian Semantic Web Workshop, Trento, Italy, December 14-16, 2005, CEUR Workshop Proceedings}, year = 2005, url = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol-166/19.pdf}, biburl = {http://www.bibsonomy.org/bibtex/2a71c8b6b593886f07deaf58a66aae436/lysander07}, keywords = {SWAP2005 descriptionLogic logic} } @book{baader03dlhandbook, title = {The Description Logic Handbook: Theory, Implementation and Applications}, address = {Cambridge}, editor = {Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter Patel-Schneider}, publisher = {Cambridge University Press}, year = 2003, url = {http://www.amazon.de/gp/product/0521781760?ie=UTF8&tag=moresemantic-21&linkCode=as2&camp=1638&creative=6742&creativeASIN=0521781760}, biburl = {http://www.bibsonomy.org/bibtex/23566065693f7ae313f82f9b2a0c96936/lysander07}, keywords = {knowledgeEngineering swss06-05 swss06-06 semwebss06 descriptionLogic logic} }