Filters








562,876 Hits in 5.6 sec

Practical Reasoning for Expressive Description Logics [chapter]

Ian Horrocks, Ulrike Sattler, Stephan Tobies
1999 Lecture Notes in Computer Science  
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.  ...  Motivation Description Logics DLs are a well-known family of knowledge representation formalisms DLNS96 .  ... 
doi:10.1007/3-540-48242-3_11 fatcat:snwrdd4xazezndh4wnckymkfiu

Practical Reasoning for 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.  ...  Motivation Description Logics (DLs) are a well-known family of knowledge representation formalisms [DLNS96] .  ... 
arXiv:cs/0005014v1 fatcat:yszjccgtyvce7pit2gx36zvdya

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

A Logic of Practical Reasoning

Georg Spielthenner
2007 Acta Analytica  
The principal question I am interested in is whether this type of practical reasoning can be logically conclusive.  ...  This article also shows that practical arguments are non-trivially ambiguous (which has been largely ignored in the literature) because they can at the same time express different pieces of practical reasoning  ...  Practical reasoning should provide a reason for doing something, not for believing it.  ... 
doi:10.1007/s12136-007-0005-x fatcat:bf2fvzle6vcw3f7huveqd2eo2i

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

Combining Description Logics, Description Graphs, and Rules [chapter]

Boris Motik
2009 Lecture Notes in Computer Science  
Recent practical experience with description logics (DLs) has revealed that their expressivity is often insufficient to accurately describe structured objects-objects whose parts are interconnected in  ...  In particular, we first identify the sources of undecidability of the general, unrestricted formalism, and then present a restriction that makes reasoning decidable.  ...  It is widely recognized that reasoning algorithms are more likely to be effective in practice if the underlying logics are decidable.  ... 
doi:10.1007/978-3-642-04222-5_3 fatcat:vwv2pnrninhtvjhfrrhq5yk5ca

Toward a new landscape of systems management in an autonomic computing environment

G. Lanfranchi, P. Della Peruta, A. Perrone, D. Calvanese
2003 IBM Systems Journal  
Then we introduce basic concepts in ontology and description logics and discuss representing Common Information Model constructs using description logics.  ...  Acknowledgments The authors wish to thank Giuseppe De Giacomo, Richard Szulewski, Scot MacLellan, Daniela Berardi, Andrea Cali, and Maurizio Lenzerini for sharing  ...  Researchers in artificial intelligence advocate expressing ontologies in logical terms, which makes them suitable for automated reasoning.  ... 
doi:10.1147/sj.421.0119 fatcat:qrpith3bcvh47d757v7wbhrusa

A method for the implementation of a description logic reasoner

Nenad Krdzavac, Dragan Gasevic
2005 Publikacija Elektrotehnickog fakulteta - serija matematika  
Then we outline a method for development an ALC description logic reasoner using MDA standards. 2000 Mathematics Subject Classification: 68N15  ...  In this paper we briefly describe basic characteristics of MDA, give the definition of syntax and semantics of ALC description logic, and describe basic reasoning techniques in that logic.  ...  logic meta-model in MDA technological space Figure 5 . 5 Packages for generated Description logic reasoner  ... 
doi:10.2298/petf0516119k fatcat:mt4tjojqkrhjtdgwnzfrkqy3v4

Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning (Extended Abstract)

Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk
2021 International Workshop on Description Logics  
In particular, we investigate the application of description logics to the formalization and reasoning over IaC deployments.  ...  We provide a framework to encode IaC into description logic, and investigate its effectiveness in answering configuration queries and reasoning about dataflow, trust boundaries, and potential issues within  ...  We plan to continue researching for an even better-fitting description logic  ... 
dblp:conf/dlog/CauliLPT21 fatcat:7lkq5nxz2jfpjn5rj722pzvciy

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

KB_Bio_101: a repository of graph-structured knowledge

Vinay K. Chaudhri, Michael A. Wessel, Stijn Heymans
2012 Annual Conference of the Spanish Society for Natural Language Processing  
Reasoning with Graph-Structured Descriptions Similarity reasoning and relationship reasoning are two tasks that are of great practical interest to our application.  ...  While the work on description graphs acknowledges the need for more expressive formalisms that go beyond tree structures, the nature of KB Bio 101 is sufficiently different from the setting in description  ... 
dblp:conf/sepln/ChaudhriWH12 fatcat:23qggcdtezdt7bselp2hdcx4m4

Reasoning under Uncertainty with Log-Linear Description Logics

Mathias Niepert
2011 International Semantic Web Conference  
We compile a list of five requirements that we believe a probabilistic description logic should have to be useful in practice.  ...  The position paper provides a brief summary of log-linear description logics and their applications.  ...  Nevertheless, purely logical approaches to knowledge representation and reasoning such as description logics have proven useful in providing the formal backbone of the Semantic Web.  ... 
dblp:conf/semweb/Niepert11 fatcat:vytj4gawxfhpxpcbwo2b323iv4

Combining fuzzy logic and behavioral similarity for non-strict program validation

Coen De Roover, Johan Brichau, Theo D'Hondt
2006 Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '06  
In order to detect various concrete pattern implementations using a single pattern description, we have combined logic meta programming -wherein patterns can be expressed as constraints over facts representing  ...  pattern description.  ...  In such a logic meta programming approach, descriptions of software patterns are expressed in a machine-readable format as logic rules over logic facts representing source code constructs.  ... 
doi:10.1145/1140335.1140339 dblp:conf/ppdp/RooverBD06 fatcat:ldktyw2qfrhtbo2bivqqxrvpry

OWL: A Description Logic Based Ontology Language [chapter]

Ian Horrocks
2005 Lecture Notes in Computer Science  
Ontology Languages and Description Logics The OWL recommendation actually consists of three languages of increasing expressive power: OWL Lite, OWL DL and OWL Full. Like OWL's predecessor  ...  Extended Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms.  ...  DAML+OIL, OWL Lite and OWL DL are basically very expressive description logics with an RDF syntax.  ... 
doi:10.1007/11562931_1 fatcat:n6c4pnt6rbbczbxsf7pimxuaiu
« Previous Showing results 1 — 15 out of 562,876 results