Hi Jelle, I'm sure there is some overlap. :) I am probably far behind you guys in the theory, since I did not study any of this in school. (My degree is physics ... in computer science, programming, logic, etc., I am completely self-taught, although initially I was a math major and interested in abstract algebra.)
My approach is somewhat "minimalist" -- I would like to be able to import engineering object instances from various sources, such as STEP files, PDM systems, etc., and apply rules to them and make inferences about them. The end applications could be almost anything -- e.g., some of the guys I have worked with in the STEP world have implemented rule-based systems for "manufacturability" analysis during design process and such. I am mainly interested in pulling various domain models (design, analysis, etc.) into a logical "systems" environment, "synchronizing" them (if possible, using managed mappings between them), and applying rules and reasoning on them from the "whole system" viewpoint -- basically creating a systems logical view for the domain of systems engineering. Steve Jelle Feringa wrote: >> > > Hi Stephen, > >> I also welcome a KBE expert to the list! I am also very interested >> in this area. I have an application I am working on to create Python >> class definitions from OWL ontologies. I also have code to create >> the Python objects as Storm objects (<https://storm.canonical.com/>), >> and I have some sql-generation code for the back end (a separable >> issue, of course, but I include it in my app). All of this is in >> a partially broken state at the moment, because I am doing some >> refactoring and adding more unit tests, but I will be happy to share >> any of this as soon as it is working well enough to demonstrate >> the concept. My goal (which probably fits well with KBE) is to >> have engineering application objects defined by ontologies, so that >> they can be reasoned about using first-order logic engines, rules, etc. > > This is really interesting. Thomas & I share a keen interest on > engineering, semantics & ontologies too, it would be great if the effort > of developing such a framework can be shared. > I hope to start a PhD research soon at the TU Delft, which is focussing > on developing design encodings for evolutionary computing ( mappings > between genotype and phenotype ), which intersects with some ideas of > KBE. I'm curious what is the overlap in our shared interest. > > Cheers, > > -jelle > > > _______________________________________________ Pythonocc-users mailing list Pythonocc-users@gna.org https://mail.gna.org/listinfo/pythonocc-users