Filters








511,090 Hits in 4.9 sec

Practical reasoning for very expressive description logics

I Horrocks
2000 Logic Journal of the IGPL  
Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones.  ...  Expressive role constructors are important in many applications, but can be computationally problematical.  ...  Future work will include completing the implementation of the SHIQ algorithm, testing its behaviour in this kind of application and investigating new techniques for improving its empirical tractability  ... 
doi:10.1093/jigpal/8.3.239 fatcat:i436za4ovbgcrnjd4xtq675ccy

Practical Reasoning for Very Expressive Description Logics [article]

Ian Horrocks, Ulrike Sattler, Stephan Tobies
2000 arXiv   pre-print
Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones.  ...  Expressive role constructors are important in many applications, but can be computationally problematical.  ...  Transitive Closure We have argued that reasoning for logics with transitive roles is empirically more tractable than for logics that allow for transitive closure of roles , Horrocks, 1998b .  ... 
arXiv:cs/0005013v1 fatcat:5ou4tipvnncwvadl3eaniv5eam

Towards Novel Techniques for Reasoning in Expressive Description Logics based on Binary Decision Diagrams

Uwe Keller
2007 Extended Semantic Web Conference  
We propose to design and study new techniques for description logic (DL) reasoning based on a prominent data structure that has been applied very successfully in various domains in computer science where  ...  BDDs have been used very successfully for reasoning in propositional logics, and have been lifted to the level of first-order logics, too.  ...  We expect that the proposed research agenda helps to evolve the state-the-art in the field of Description Logic reasoning by (i) extending the available machinery of tools for reasoning in expressive DLs  ... 
dblp:conf/esws/Keller07 fatcat:3hssrinrnnh7bnbb2vzmszptfi

Engineering of Logics for the Content-Based Representation of Information [chapter]

Franz Baader
2004 Lecture Notes in Computer Science  
r Content-based representation of information r The role of logics and why they must be engineered r Description Logics as a successful instance of this approach r Two applications of DL: Semantic Web  ...  Baader Dresden Example searching for information on the WWW r looking for garden centers offering palisades for my new garden ½ search engine should know that paling is a similar notion ½ and that fence  ...  r Expressiveness vs. tractability issue: ½ application-relevant knowledge must be expressible ½ reasoning must still be "feasible" r Practical considerations, usability of logics: not just investigation  ... 
doi:10.1007/978-3-540-30227-8_2 fatcat:kuqsfxcsnnbsvcay7ln3uwrs6a

Reasoning with Expressive Description Logics: Theory and Practice [chapter]

Ian Horrocks
2002 Lecture Notes in Computer Science  
DAML+OIL is a description logic based ontology language specifically designed for use on the Web.  ...  Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ones, and by an emphasis on the  ...  Practical Reasoning Services The concept satisfiability problem for expressive DLs is known to be of high complexity: at least Pspace-complete, and rising to Exptime-complete for very expressive logics  ... 
doi:10.1007/3-540-45620-1_1 fatcat:j7iwzrkpnvduvdjtswdkch4qsy

The limits and possibilities of combining Description Logics and Datalog

Riccardo Rosati
2006 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06)  
Description Logics are currently the most used formalisms for building ontologies, and have been proposed as standard languages for the specification of ontologies in the Semantic Web.  ...  Most of the approaches in this field concern the study of description logic knowledge bases augmented with rules expressed in Datalog and its nonmonotonic extensions.  ...  Ontologies and Description Logics Description Logics (DLs) are currently the most used formalisms for building ontologies, and have been proposed as standard languages for the specification of ontologies  ... 
doi:10.1109/ruleml.2006.22 dblp:conf/ruleml/Rosati06 fatcat:qnzkeco7qnf3fhqoegkcorc3cm

A Brief Roadmap into Uncertain Knowledge Representation via Probabilistic Description Logics

Rafael Peñaloza
2021 Algorithms  
We briefly present some of the defining properties of these languages as they pertain to the family of probabilistic description logics.  ...  Logic-based knowledge representation is one of the main building blocks of (logic-based) artificial intelligence.  ...  For all these reasons, we consider description logics as a basic formalism for representing uncertain knowledge.  ... 
doi:10.3390/a14100280 fatcat:smfaeb2kfvdljj2rzpxi5k7szq

Description Logic Systems with Concrete Domains: Applications for the Semantic Web

Volker Haarslev, Ralf Möller
2003 Knowledge Representation Meets Databases  
We briefly discuss the logical basis of these representation languages by referring to description logic (DL) inferences systems.  ...  We report on practical experiences with DL reasoning systems (e.g., Racer) already supporting these representation means and argue for extensions to DAML+OIL or OWL.  ...  In particular, for the language OWL, a semantics was defined such that very large fragments of the language can be directly expressed using so-called description logics (DLs, see [1] ).  ... 
dblp:conf/krdb/HaarslevM03 fatcat:g75egakjurfedpw2q4uamld7ny

The Revival of Structural Subsumption in Tableau-based Reasoners

Ralf Möller, Volker Haarslev, Sebastian Wandelt
2008 International Workshop on Description Logics  
The paper summarizes our experiences with optimization techniques for well-known tableau-based description logic reasoning systems, and analyzes the performance of very simple techniques to cope with Tboxes  ...  whose bulk axioms just use a less expressive language such as ELH, whereas some small parts of the Tbox use a language as expressive as SHIQ.  ...  Due to our experiences, for specific tasks of this kind, very often expressive description logics such as ALC or SHIQ are used.  ... 
dblp:conf/dlog/MollerHW08 fatcat:fixc7ip42jbvrjntntjgg4xzku

Bridging the Paradigm Gap with Rules for OWL

Pascal Hitzler, Jürgen Angele, Boris Motik, Rudi Studer
2005 W3C Workshops  
For such a logic we provide a reasoning procedure based on the translation of a description logic knowledge base into disjunctive datalog rules without losing interesting consequences.  ...  At the same time, we see that there is a plethora of needs for expressive features for semantic web support, including non-monotonic reasoning aspects, reasoning with inconsistencies, fuzzy and probabilistic  ... 
dblp:conf/w3c/HitzlerAMS05 fatcat:dqzshmu2mzcebjxcjh4pdorg5i

A Novel Approach to Multimedia Ontology Engineering for Automated Reasoning over Audiovisual LOD Datasets [chapter]

Leslie F. Sikos
2016 Lecture Notes in Computer Science  
In contrast to the common practice, the formal grounding has been set in one of the most expressive description logics, and the ontology validated with industry-leading reasoners, namely HermiT and FaCT  ...  To address the above issues, VidOnt, the very first multimedia ontology with SROIQ(D) expressivity and a DL-safe ruleset has been introduced for next-generation multimedia reasoning.  ...  For example, the Visual Descriptor Ontology (VDO), which was published as an "ontology for multimedia reasoning" [17] , has in fact very limited description logic expressivity (corresponding to ALH) and  ... 
doi:10.1007/978-3-662-49381-6_1 fatcat:rfmxsqxmnzajpadsatkdm6ygse

The RacerPro knowledge representation and reasoning system

Volker Haarslev, Kay Hidde, Ralf Möller, Michael Wessel
2012 Semantic Web Journal  
RacerPro is a software system for building applications based on ontologies. The backbone of RacerPro is a description logic reasoner.  ...  Based on new optimization techniques and techniques that have been developed in the research field of description logics throughout the years, a mature architecture for typical-case reasoning tasks is  ...  We also would like thank Olaf Noppens for providing the Protégé 4 plugin for RacerPro. An earlier interface for Racer called RICE was built by Ronald Cornet.  ... 
doi:10.3233/sw-2011-0032 fatcat:3o5x3ragfjaubk6vyjuf3qariu

Classifying Ontologies

Fábio Natanael Kepler, Christian Paz-Trillo, Joselyto Riani, Márcio Moretto Ribeiro, Karina Valdivia Delgado, Leliane Nunes de Barros, Renata Wassermann
2006 Workshop on Ontologies and their Applications  
The tools classify the ontology according to the minimal description logic that covers all constructors used.  ...  During the development of an ontology it may be important to know which is the logic underlying that particular ontology, so that the developer knows what the expected complexity of reasoning over it will  ...  Acknowledgements: We would like to thank André Casado Castaño, Andréia Machion and George Henrique Silva for helping with the development of the tools.  ... 
dblp:conf/wonto/KeplerPRRDBW06 fatcat:rnlsdnxetbeftpguizafm4ym3i

Pellet: A Practical OWL-DL Reasoner

Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur, Yarden Katz
2007 Social Science Research Network  
in Description Logics or theorem proving.  ...  Pellet was perhaps, as a very generous guess-estimate, 1.5 person years of effort by people who had no prior experience with Description Logics and little prior experience with theorem proving (especially  ...  The authors would like to especially thank Edna Ruckhaus who implemented the AL-Log coupling as well as Ron Alford and Michael Grove for their contributions to the code.  ... 
doi:10.2139/ssrn.3199351 fatcat:xmjjuwarpnh6pmntazbg3c5lza

Pellet: A practical OWL-DL reasoner

Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur, Yarden Katz
2007 Journal of Web Semantics  
in Description Logics or theorem proving.  ...  Pellet was perhaps, as a very generous guess-estimate, 1.5 person years of effort by people who had no prior experience with Description Logics and little prior experience with theorem proving (especially  ...  The authors would like to especially thank Edna Ruckhaus who implemented the AL-Log coupling as well as Ron Alford and Michael Grove for their contributions to the code.  ... 
doi:10.1016/j.websem.2007.03.004 fatcat:vdbsiwxsqjhz5ma3pwb3lckt5i
« Previous Showing results 1 — 15 out of 511,090 results